A guide for collaborators

First of all, thank you for wanting to help develop this project. Here is how I would suggest using the repository for your research.

Create a fork (see Github button on the top right of the webpage). This will create a fork (i.e. our own copy) of the repository. You can now do whatever you want with your fork, i.e. commit, push, create branches, and so forth.

While you are working on your fork, I will probably also make some changes to my original repository. Eventually, you might want to sync your fork and my latest changes. To do so follow this guide: https://help.github.com/articles/syncing-a-fork/

If you have some developments that you think should be in the main (aka my version) repository, you can create a pull request. Check out this guide: https://help.github.com/articles/about-pull-requests/

And feel free to contact me at any time with questions.