Re: GitLab mirror considered harmful

[Jan Tojnar <jtojnar gmail com>]

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