5 Jan
2014
5 Jan
'14
5:03 p.m.
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. Ciao Dani