Conversation
4965650 to
0d109b5
Compare
erikvansebille
left a comment
There was a problem hiding this comment.
Good idea! Is it also an idea to add a checkbox whether this is a PR that should be highlighted in the release notes? Is there an easy workflow then to find the PRs in the list that have this checked? Or is that over-engineering?
We can have a PR label for items that are "important changes" that we want to have in their own section in the release notes. This is supported by the configuration Github uses for generating the release notes.
I think so. I think having the mental overhead on a PR level would, in total, be more than curating the notes during release. I think this would really be helpful in larger projects with many contributors. |
This PR template will be the default in the text box when creating a pull request. I thought a simple checklist would be helpful (notably the choosing the correct base branch reminder).