As a humble translator/coordinator and gitlab user for several projects (which are not otherwise related to GNOME), +1.
Best regards Ask 2018-01-12 21:42 GMT+01:00 Shaun McCance <[email protected]>: > +100 on the migration. > > I think the team might want to have a conversation about to what extent > we want to do merge requests versus committing directly. I also think > our opinion on that will evolve over time. So, you know, don't get too > hung up on it. > > -- > Shaun > > On Thu, 2018-01-11 at 19:51 +0100, Petr Kovar wrote: >> Hi all, >> >> More and more GNOME projects seem to be migrating from old git >> infrastructure and Bugzilla to https://gitlab.gnome.org/. >> >> Would there be any objections to moving our docs repos (gnome-user- >> docs >> etc.) to gitlab.gnome.org after the upcoming stable release? >> >> This would affect the documentation work in the following way: >> >> Contributors would follow a GitHub-like workflow by forking the docs >> repo, >> creating a topic branch, and submitting a merge request when ready >> for peer >> review. >> >> Users would use the GitLab integrated issue tracker instead of >> Bugzilla. >> Old bugs would be migrated to GitLab (and closed in Bugzilla). >> >> There would be no need to upload patches to Bugzilla to contribute. >> >> The overall process would feel more like 2017 rather than 2007 or >> 1997. >> >> The translation process shouldn't be affected. >> >> Thoughts, comments, concerns? >> >> Best, >> pk >> _______________________________________________ >> gnome-doc-list mailing list >> [email protected] >> https://mail.gnome.org/mailman/listinfo/gnome-doc-list > _______________________________________________ > gnome-i18n mailing list > [email protected] > https://mail.gnome.org/mailman/listinfo/gnome-i18n _______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
