github: small updates in the template
## Basics
-Do not describe the purpose here but:
+Check relevant points but **please do not remove entries**.
+Do not describe the purpose of this PR in the PR description but:
- [ ] Short descriptions should be in the release notes (added as entry in
`doc/news/_preparation_next_release.md` which contains `_(my name)_`)
@@ -20,7 +21,7 @@ need to be checked.
- [ ] I ran all tests locally and everything went fine
- [ ] affected documentation is fixed
- [ ] I added code comments, logging, and assertions (see doc/CODING.md)
-- [ ] meta data is updated (e.g. README.md of plugins)
+- [ ] meta data is updated (e.g. README.md of plugins and doc/METADATA.md)
## Review
@@ -28,3 +29,10 @@ Remove the line below and add the "work in progress" label if you do
not want the PR to be reviewed:
@markus2330 please review my pull request
+
+
+## Merging
+
+Please add the "ready to merge" label when the build server and you say
+that everything is ready to be merged.
+
