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
pgpuGCpKdqBD5.pgp
Description: PGP signature
------------------------------------------------------------------------------ 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 [email protected] https://lists.sourceforge.net/lists/listinfo/soci-users
