Re: Migrate to gitlab.gnome.org?

[Michael Hill <mdhillca gmail com>]

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 <jcampbell gnome org> wrote:

Hi Petr,

Thanks I would be in favor of this transition.

Jim

On Jan 11, 2018 12:51 PM, "Petr Kovar" <pmkovar 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-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-doc-list

_______________________________________________
gnome-doc-list mailing list
gnome-doc-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-doc-list