Skip to content

Latest commit

 

History

History
19 lines (14 loc) · 997 Bytes

File metadata and controls

19 lines (14 loc) · 997 Bytes

Contributing

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.

Pull Request Process

  1. Ensure any install or build dependencies are removed before pushing to the git repository.
  2. Update the README.md with details of changes if necessary.
  3. Record user-visible changes in the CHANGELOG.md [Unreleased] section.
  4. 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.