Subject: Re: [boost] [github] default PR destination
From: Daniela Engert (dani_at_[hidden])
Date: 2014-01-05 12:03:08
Am 04.01.2014 12:51 schrieb Tim Blechmann:
> any opinion to change the default branch from "master" to "develop"?
If you're sharing the same point of view as GitHub (and me, btw) that
the 'default' branch is the primary focus of all contributions (that
includes the maintainers), then it's just natural to set 'default' =
'develop'. It follows the Boost development model, it's explicit about
intent, and it doesn't confuse contributors with their GitHub interactions.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk