Re: [boost] [GitHub] [PR] setting default branch to 'develop'

Subject: Re: [boost] [GitHub] [PR] setting default branch to 'develop'
From: John Maddock (jz.maddock_at_[hidden])
Date: 2015-10-29 07:34:27

On 28/10/2015 12:58, Michel Morin wrote:
> Andrey Semashev wrote:
>> When checking out libraries from git people will get
>> develop branch by default and not master. This is fine if the checkout is
>> done for development, which is the most likely the case, but may be a
>> surprise to some who expect to get master by default.
> I assumed the former (i.e. the checkout is for development and so setting the
> default branch to 'develop' is fine), but the latter may be true as well.
> Thanks for bringing this up.

This also has the side-effect that if someone hits the "download zip" 
button they get develop, which is probably not what we want?

John.