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

use issue forms #2560

Merged
merged 1 commit into from
Sep 18, 2023
Merged

use issue forms #2560

merged 1 commit into from
Sep 18, 2023

Conversation

okdana
Copy link
Contributor

@okdana okdana commented Jul 17, 2023

Would you want something like this?

Creating issue forms

I thought it might help reduce the number of invalid/incomplete reports

Here's one i put together, probably needs edited for formatting/wordiness. I don't think you can see how it renders from this PR, so i've attached a screen-shot below

Obv the feature-request template could be converted as well if you like it

Possible concerns:

  • This feature is considered beta (though it's been available for 2 years now)
  • The formatting of the file is a little weird due to interactions between YAML and GFM
  • It could be annoying for more advanced users
  • I'm not sure how scalable it is to list out common issues on the report page

form

@okdana okdana force-pushed the dana/issue-forms branch from 0a8efa1 to 0c38cc6 Compare July 17, 2023 22:32
Copy link
Owner

@BurntSushi BurntSushi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice, thank you for doing this. I didn't even know about this feature of GitHub.

I will admit that I am a little unsure of doing this. I always hate filling out forms like this myself. But it's worth a try because I spend an amazing amount of time just trying to get people to include relevant information. (Although that's not specific to ripgrep.)

@BurntSushi BurntSushi merged commit 2198bd9 into BurntSushi:master Sep 18, 2023
ink-splatters pushed a commit to ink-splatters/ripgrep that referenced this pull request Oct 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants