Re: Migrate to gitlab.gnome.org?

[Shaun McCance <shaunm 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-list gnome org
> https://mail.gnome.org/mailman/listinfo/gnome-doc-list