github default branch

[Grischa]

Hi All!

Just a heads up that I am changing the default branch of the GitHub repo. The default will be "develop", and the stable "master" branch will need to be checked out explicitly.

The reason is that, unfortunately, Github is a bit inflexible when it comes to maintaining a stable and a development branch in one repo.

Since the stable version will always be a bit outdated and not reflect the actual activity on the project, having the develop branch front and centre will provide for better recognition of all the effort we put in. It will also make pull requests default to the right destination.

To avoid potential disappointment when people try to use the default branch and it is not as polished as the master branch I'll add a note to the README. For all of you reading this mailing list, please explicitly checkout the master branch when you deploy your systems or when you you fork the project to create a production system.

Cheers

Grischa