.github/: Use Description for commit message and add Notes (#3082)

This commit is contained in:
Thomas Eizinger
2022-11-14 06:01:24 +11:00
committed by GitHub
parent afb777e937
commit cafa73444b
2 changed files with 7 additions and 6 deletions

2
.github/mergify.yml vendored
View File

@ -5,7 +5,7 @@ defaults:
commit_message_template: | commit_message_template: |
{{ title }} (#{{ number }}) {{ title }} (#{{ number }})
{{ body | get_section("## Commit Message body", "") }} {{ body | get_section("## Description", "") }}
pull_request_rules: pull_request_rules:
- name: Ask to resolve conflict - name: Ask to resolve conflict

View File

@ -1,12 +1,16 @@
# Description ## Description
<!-- Please write a summary of your changes and why you made them.--> <!-- Please write a summary of your changes and why you made them.-->
<!-- This section will appear as the commit message after merging. Please craft it accordingly. -->
## Notes
<!-- Any notes or remarks you'd like to make about the PR. -->
## Links to any relevant issues ## Links to any relevant issues
<!-- Reference any related issues.--> <!-- Reference any related issues.-->
## Open Questions ## Open Questions
<!-- Unresolved questions, if any. --> <!-- Unresolved questions, if any. -->
@ -19,6 +23,3 @@
- [ ] I have made corresponding changes to the documentation - [ ] I have made corresponding changes to the documentation
- [ ] I have added tests that prove my fix is effective or that my feature works - [ ] I have added tests that prove my fix is effective or that my feature works
- [ ] A changelog entry has been made in the appropriate crates - [ ] A changelog entry has been made in the appropriate crates
<!-- The below text will appear as the commit message body once we squash-merge the PR. -->
## Commit message body