Boost logo

Boost :

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

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.

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