I don't really understand the implications of what you're asking for, but
if Mateusz doesn't respond within a couple days or say a week, I'll be
happy to do it, especially if you give me instructions how.
Thanks,
Aleksander
On Sat, Mar 14, 2015 at 12:09 PM, Vadim Zeitlin <vz-s...@zeitlins.org>
wrote:
> Hello,
>
> 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.
>
> TIA!
> VZ
>
>
> ------------------------------------------------------------------------------
> Dive into the World of Parallel Programming The Go Parallel Website,
> sponsored
> by Intel and developed in partnership with Slashdot Media, is your hub for
> all
> things parallel software development, from weekly thought leadership blogs
> to
> news, videos, case studies, tutorials and more. Take a look and join the
> conversation now. http://goparallel.sourceforge.net/
> _______________________________________________
> soci-users mailing list
> soci-users@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/soci-users
>
>
------------------------------------------------------------------------------
Dive into the World of Parallel Programming The Go Parallel Website, sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for all
things parallel software development, from weekly thought leadership blogs to
news, videos, case studies, tutorials and more. Take a look and join the
conversation now. http://goparallel.sourceforge.net/
_______________________________________________
soci-users mailing list
soci-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/soci-users