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, <mcatanz...@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
_______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
