Boost logo

Boost :

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?


Boost list run by bdawes at, gregod at, cpdaniel at, john at