Re: GitLab mirror considered harmful

[Alberto Ruiz <aruiz gnome org>]

I agree with Michael here,

I think a lot of people just default to github and being there has value in itself. The Pull Request is indeed a not so great situation and I think we should think hard about making it easy for people who took the time to contribute.

For as long as GitHub does not support disabling PRs, we can think beyond the current solution and expand fron auto-close to something that brings the maintainers attention. Maybe opening an issue in GitLab that points to the original PR so that the maintainer can persuade the original PR author? Is this something maintainers would find acceptable?

El lun., 4 feb. 2019 a las 14:27, <mcatanzaro gnome org> escribió:

On Sun, Feb 3, 2019 at 8:59 PM, Christopher Davis via
desktop-devel-list <desktop-devel-list gnome org> wrote:
> If we keep the mirrors around, then we should at the very least
> ensure that pull requests aren't able to be opened at all
> on the repos.

GitHub doesn't allow disabling pull requests, that's why we have the
auto-close bot. I believe someone from GNOME asked supporting this
previously and they told us no.

FWIW I don't care if we leave the mirror up now that we have the
auto-close bot.

Michael

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

--

Cheers,
Alberto Ruiz