-
-
Notifications
You must be signed in to change notification settings - Fork 60
Bot to check for issues in PR titles #13
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
Comments
@warsaw has asked this be a status check instead of a bot with a comment to really put it in your face that you forgot an issue number (unless there's a "trivial" label on the PR). This could also be combined with a Misc/NEWS check for #6 since if something required an issue it probably requires a NEWS entry (unless, once again, it's "trivial"). |
You'll have to modify some details, but this script might give you a head start. |
Thanks. I also wrote my own async GitHub library (https://github.com/brettcannon/gidgethub), so I probably can't pull too much from there. 😉 |
I've created https://github.com/python/bedevere that does this check (and will do more things in the future). I will turn it on when I'm not sick and up for watching it for problems. |
I just turned on Bedevere, so this is now done! |
Can be a status check to make sure they are formatted correctly.
The text was updated successfully, but these errors were encountered: