GitHub process

This document describes how to collaborate and work using GitHub.

Contribute to an existing repo

1. Clone repo locally
2. Check out new branch based on current main/development branch (often main, but sometimes a release candidate branch)
3. Make changes
4. Run tests (if relevant)
5. Commit changes
6. Push changes to GitHub (remote branch)
7. Make a pull request onto the original branch (for example, main or the release candidate)