Workflow for committing code to GitHub

This page does not cover introductory Git or GitHub knowledge. Please see the other tutorials for that information.

Recommended Process

1. Create a branch off of master for your purpose in the repository that you will be making changes to.
2. Commit work to this branch and push it regularly. Verify periodically that your code is passing CI checks.
3. When (if ever) you think your code is ready to come to master, open a pull request.
4. Bring your branch up to date with master (merge master into your branch).
5. Verify that your branch can run the regression tests
6. Ask for a reviewer to look over your code. This person should also have the necessary permissions to merge your pull request.