Petr, that sounds perfect. Thank you for looking into it!
Matej On Tue, Jan 16, 2018 at 12:23 PM, Petr Kovar <pk...@volny.cz> wrote: > On Sat, 13 Jan 2018 20:47:59 +0100 > Matej Urban <matej.ur...@gmail.com> wrote: > > > Hello, > > please, also provide some instructions, how to deal with old git and new > > gitlab simultaneously. As I see, changing this in config, changes this > > setting for all projects. > > > > Matej > > Hi Matej, > > The process for interacting with git repos will be the same as > with other migrated projects. I believe redirects will be set for existing > clones, so contributors working with their clones should not need to change > their configuration, but that needs to be confirmed. > > I plan to provide further information when we migrate. > > Best, > pk > > > > On Fri, Jan 12, 2018 at 9:51 PM, Ask Hjorth Larsen <asklar...@gmail.com> > > wrote: > > > > > 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 <sha...@gnome.org>: > > > > +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 > > > _______________________________________________ > > > gnome-i18n mailing list > > > gnome-i18n@gnome.org > > > https://mail.gnome.org/mailman/listinfo/gnome-i18n > > > >
_______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-i18n
