We are using Github issues and git pull requests for managing contributions to this website.

Github Issues

A Guide to Github issuse is available for those of you new to Github. The gist of the process is:

Pull Requests

If you are familiar with git, you may prefer to make a commit with your proposed change/addition. We use the pull-request model, see GitHub’s help on pull-request.

In brief, you will:

logothings Back to Home Page