-
Oleg Grenrus authored
- [ci docs] doesn't work. We require CI to pass for non-admins to merge, so `[ci docs]` is more harmful. Also GitHub actions are reasonably fast, so overall it's ok to let it make builds - Mention `changelog.d` directory
Oleg Grenrus authored- [ci docs] doesn't work. We require CI to pass for non-admins to merge, so `[ci docs]` is more harmful. Also GitHub actions are reasonably fast, so overall it's ok to let it make builds - Mention `changelog.d` directory
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
PULL_REQUEST_TEMPLATE.md 451 B
Please include the following checklist in your PR:
- Patches conform to the coding conventions.
-
Any changes that could be relevant to users have been recorded in the changelog (add file to
changelog.ddirectory). - The documentation has been updated, if necessary.
Please also shortly describe how you tested your change. Bonus points for added tests!