Closed this issue 9 years ago · 1 comments
I think we should set the develop branch as the default branch on GitHub. So that all visitors will see the code and that the pull requests goes to the correct branch.
Done