On 14 March 2015 at 20:09, Vadim Zeitlin <vz-s...@zeitlins.org> 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

------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
soci-users mailing list
soci-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/soci-users

Reply via email to