First off, thanks for taking the time to contribute!
When contributing to this repository, please first discuss the change you wish to make via issue, email, or any other method with the core team before making a change.
- Make sure you have a GitHub account.
- Submit a GitHub issue for your issue if one does not already exist.
- A issue is not necessary for trivial changes.
- Fork the repository on GitHub.
- Configuring a remote for a fork
- Syncing a fork
git fetch upstream
git checkout main
git merge upstream/main
- Merging an upstream repository into your fork
git checkout main
git pull upstream main
- Commit the merge
git push origin main
- When working on an issue, create a new branch from
main
named for issue number or custom name. Name the branchissue/<issue-number>
orissue/<custom-name>
. For exampleissue/22
for fixing issue #22. - Make your changes.
- Follow the Style Guides.
- Avoid platform-dependent code.
- Add tests if your changes contains new, testable behavior.
- Make the tests pass.
- Create a pull request to the repository.
main
is the latest, deployed version