Re: Migrate to gitlab.gnome.org?

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

On Fri, Jan 12, 2018 at 9:51 PM, Ask Hjorth Larsen <[email protected]>
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 <[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-i18n mailing list
> [email protected]
> https://mail.gnome.org/mailman/listinfo/gnome-i18n
>

_______________________________________________
gnome-i18n mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/gnome-i18n