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

Subject: Re: [boost] [GitHub] [PR] setting default branch to 'develop'
From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2015-10-30 04:28:43

On 10/30/2015 10:17 AM, Vladimir Prus wrote:
> Checking out it for production use
> seems unlikely, since for production use you'd need to check out dozens
> of repositories, and doing that individually is extra painful,
> comparing to just cloning superproject (whose
> default branch *is* master still).

Hmm, although I understand your reasoning, I find this distinction quite 
surprising.

I'll add that using git checkouts at some stage of production is quite 
possible and probably wide spread. But you don't just check out whatever 
is the latest commit and whatever is the default branch in that case. 
You always want a specific tag or revision (much more rarely - a 
specific branch, if it is stable enough) to checkout, and you want to 
update the tag/revision very explicitly, e.g. when you upgrade from one 
release to another.