When contributing to this repository, please first discuss the change you wish to make via issue, email, or any other method with the owners of this repository before making a change.
- We expect users to use branches or forks (whichever is more convenient and advised by your project lead).
- Any change made by any authority other than the project lead must be approved by at least two other active maintainers with admin privledges.
- Project leads must follow this procedure when making significant changes to the codebase of their project. Admins are not exempt from this process.
- Create a new branch with the title of the change you are making. We want these branches to be descriptive in case someone else wants to add onto an existing branch.
- Clone the appropriate branch using the command
git clone -b <branch> <remote_repo>
Forks follow a similar process to branches except for the initialization.
- Fork the project
- Clone and make changes to your forked repository
-
Once your changes are complete, navigate to the
Pull Request
tab of your project in GitHub and make a PR from your branch to the intended branch (usually main, ask your project lead if you are uncertain). -
Be sure to include the statement
closes <issue #>
in your PR to link it to the appropriate issue and update any project workflows.
Any issues, documentation, or PRs you make should be thoroughly documented and inspected for errors.
- All issues should attempt to answer all of the questions in the issues text field
- All PRs should attempt to document the exact functionality of the PR
- All documentation should be intentionally and carefully worded to reflect the intent of the documentation (usually to inform the reader)
Good luck, and have fun!