-
Notifications
You must be signed in to change notification settings - Fork 3.6k
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
[improve][misc] Pull request template #17545
Conversation
cc @Anonymitaet cc @lhotari I think we may ask contributors to run personal CI in the PR template. But I don't find a nice wording yet. Since @github doesn't support form format to PR template like issue template, we should keep the template tidy or easy to follow. Otherwise as current status, few people will spend time to fill it. |
@@ -10,26 +10,23 @@ | |||
- Each commit in the pull request has a meaningful commit message | |||
|
|||
- Once all items of the checklist are addressed, remove the above text and this checklist, leaving only the filled out template below. | |||
|
|||
**(The sections below can be removed for hotfixes of typos)** |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is not true. We should retain the documentation section since it's read by actions. Also, I tend not to open the door for "hotfixes". If the change is trivial, taking some time to go through the template doesn't hurt, as long as the template is concise.
1. Highlight to retain the documentation section so that committers can correct it if necessary simply with UI. 2. Few people edit the "affect one of the following parts". Change it to checkboxes for easily applying. 3. Comment out some placeholder.
4df1e67
to
b1b519d
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for taking care of the doc part!
Documentation
doc-required
(Your PR needs to update docs and you will update later)
doc-not-needed
(Please explain why)
doc
(Your PR contains doc changes)
doc-complete
(Docs have been already added)