Re: Migrate to gitlab.gnome.org?

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