Re: GitLab mirror considered harmful

[Christopher Davis <brainblasted disroot org>]

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. In general though, I would be in favor of getting rid of the mirror because it can cause frustration or confusion

on the part of new contributors. This is showcased with the two examples in Michael's issue report.

Regards,

Chris

On Sun, Feb 3, 2019 at 9:54 PM, Jan Tojnar via desktop-devel-list <desktop-devel-list gnome org> wrote:

In my opinion, GitHub is still superior for viewing code: 1. It is much faster. Code loads with the page instead of having to wait for AJAX request. 2. GitHub offers a feature to jump to blame from parent commit of the change: https://gitlab.com/gitlab-org/gitlab-ce/issues/30749 3. GitLab does not support any references from gitrevisions(7) other than commit hash, compare https://github.com/GNOME/gnome-shell/commit/af34b7c25e39e727f7dbd6e3dae0e7c5fe60f141%5E and https://gitlab.gnome.org/GNOME/gnome-shell/commit/af34b7c25e39e727f7dbd6e3dae0e7c5fe60f141%5E Until these are addressed, we should keep GitHub. On Po, úno 4, 2019 at 2:40 AM, Michael Gratton <mike vee net> wrote:

Hi all, While the GitHub mirror may have been useful back before GitLab, it actually discourages contributions because PRs aren't accepted there. I've not seen from any positive outcomes from it that I can remember, only negative ones. As such I think it should be deleted. Because of this I just filed: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/86​ – any thoughts? //Mike _______________________________________________ desktop-devel-list mailing list desktop-devel-list gnome org https://mail.gnome.org/mailman/listinfo/desktop-devel-list

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