+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 > gnome-doc-l...@gnome.org > https://mail.gnome.org/mailman/listinfo/gnome-doc-list _______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-i18n