Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Document using browser search shortcuts to open issues faster #10463

Closed
wants to merge 1 commit into from

Conversation

aaronfranke
Copy link
Member

@akien-mga mentioned that this was possible in RocketChat, and I figured it was good to put in the docs too.

@aaronfranke aaronfranke added enhancement area:contributing Issues and PRs related to the Contributing/Development section of the documentation labels Jan 3, 2025
@aaronfranke aaronfranke added this to the 4.4 milestone Jan 3, 2025
@akien-mga
Copy link
Member

I think it's a cool trick but a bit too much of a power user advice to be featured so prominently in an intro page like this IMO.

@mhilbrunner
Copy link
Member

I agree with Akien. Cool, but this is more a "how do I use my browser / other software and Github well" than really Godot specific. Considering we're already trying to limit which Godot-specific content we add and maintain to keep it manageable, this doesn't quite meet the bar for me, IMO. Happy to hear others however :)

@aaronfranke
Copy link
Member Author

¯\_(ツ)_/¯

@aaronfranke aaronfranke closed this Jan 3, 2025
@aaronfranke aaronfranke deleted the search-shortcuts branch January 3, 2025 17:37
@tetrapod00
Copy link
Contributor

tetrapod00 commented Jan 3, 2025

For the record I'm in favor of tips and tricks type pages, and one for Contributing in particular seems potentially worthwhile. But the single trick here is rather niche. I also wouldn't merge the new page as-is, with only this single trick documented. It might feel more in scope if the page had already existed, or there were other more common tips and tricks documented alongside this niche one?

Maybe something to revisit if/when the contributing section is ever moved out of the versioned RTD instance?

@tetrapod00 tetrapod00 removed this from the 4.4 milestone Jan 3, 2025
@mhilbrunner
Copy link
Member

Yeah, I was thinking this would maybe find a place if/once we move the contribution docs out of the user-facing docs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
archived area:contributing Issues and PRs related to the Contributing/Development section of the documentation enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants