Re: [soci-users] Changing the default branch in the Github repository?

[Mateusz L. <ma...@lo...>]

On 14 March 2015 at 20:09, Vadim Zeitlin <vz...@ze...> wrote:
>
>  Could one of the owners of the Github repository (Mateusz or Pawel if I'm
> not mistaken) please change the default branch to "develop"? It's not very
> convenient to have to select it explicitly for each new PR as "master" is
> the default right now and, of course, it also risks encouraging people
> submitting (and misguided developers such as me applying...) the PRs to the
> master branch which is not supposed to be touched directly with the git
> flow that we're supposed to use.

For the sake of the thread closure, I confirm we've switched the branches [1]
and now master is the default branch on GitHub *as well as* the
main line of SOCI development (develop branch has been deleted).

[1] https://github.com/SOCI/soci/issues/305

Best regards
-- 
Mateusz  Loskot, http://mateusz.loskot.net