Experts

Experts

If you already know how to use Git and GitHub, here is a quick explanation.

We use two main branches:

• "develop" is the latest version
• "master" is rarely changed ("develop" is occasionally merged into "master").

Proposed new changes should be in their own branch. Generally you should use this:

git checkout develop && git checkout -b MY_CHANGE

Then edit, push to your personal repository, and create a pull request as usual.