Hi Petr, I'm in favour too. I think by this point people are even ready for the 2018 process feel.
Mike On Thu, Jan 11, 2018 at 2:00 PM, Jim Campbell <jcampb...@gnome.org> wrote: > Hi Petr, > > Thanks I would be in favor of this transition. > > Jim > > On Jan 11, 2018 12:51 PM, "Petr Kovar" <pmko...@gnome.org> 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-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