When contributing to this repository, please first discuss the change you wish to make via issue, or any other method with the owners of this repository before making a change.
Please note we have a code of conduct, please follow it in all your interactions with the project.
- Ensure any install or build dependencies are removed before pushing to the git repository.
- Update the
README.mdwith details of changes if necessary. - Record user-visible changes in the
CHANGELOG.md[Unreleased]section. - You may merge the Pull Request in once you have the sign-off of at least one developer, or if you do not have permission to do that, you may request the reviewer to merge it for you.
Do not create or push release tags. Releases are published by a maintainer through the
GitHub Actions Release workflow. See docs/release-checklist.md.