Fwiw, I don't think main repo URL should be on Github. Mirror, yes. Ability for devs (who signed copyright assignment) to create pull requests, yes.
Primary hosting on Github? *shrug* there are no strong benefits, I think, and sufficient number of people would be happier if we hosted elsewhere. How about pushing for Savannah process to be fixed instead? Creating these repos is a one-off, and any new projects can temporarily self-host before being migrated into a "gnustep-myproject" repo on Savannah. On Fri, Dec 4, 2015, 09:33 Marcus Müller <[email protected]> wrote: > On 04 Dec 2015, at 09:40, Alessandro Sangiuliano <[email protected]> > wrote: > > […] > > > - Github: fork code with a button; start a new repo with a button; easy > management of merge request, not so bad in showing diffs; interesting > plugins; maybe not so nice in bug tracking; it uses git that is OPEN > SOURCE, you are not forced to use its proprietary front-end; it is probably > the most used platform to host code; it is full of people; what we need > absolutely… people! > - I never heard about Gitlab before, so I can’t talk about it. > > I vote for Github. > > > Me too. > > Besides what's stated above, personal experience using Github shows that > it's really increasing collaboration. Also, it's well integrated into > clients (i.e. SourceTreeApp) and 3rd party systems (i.e. FreeBSD ports > collection, as David pointed out quite a few times already). But I'm just > reiterating what has already been written countless times before, can we > just conclude the vote soon? > > > Cheers, > > > Marcus > > > -- > Marcus Müller . . . http://www.mulle-kybernetik.com/znek/ > > > > _______________________________________________ > Discuss-gnustep mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/discuss-gnustep >
_______________________________________________ Discuss-gnustep mailing list [email protected] https://lists.gnu.org/mailman/listinfo/discuss-gnustep
