30 Oct
2015
30 Oct
'15
1:12 a.m.
On Thu, Oct 29, 2015, John Maddock wrote:
This also has the side-effect that if someone hits the "download zip" button they get develop, which is probably not what we want?
I feel that it is certainly not what we want. It seems counter-intuitive (going by what appears to be widespread practice with public git repositories) that the 'default' branch is not the stable one. I understand the motivation, but couldn't we just request from any contributors to submit a new pull request against 'develop' instead of 'master'? Glen