Michael Gratton commented: Hey Andrea, yep, I started a thread about it on d-d-l: https://mail.gnome.org/archives/desktop-devel-list/2019-February/msg00001.html
Consensus seems to be that developers find it useful to work around GitLab search limitations, but no one seems to have a positive story about it bringing in new contributors (which apparently was the reason the mirror was created in the first place). Others also suggested there that as you say, having some way of pulling PRs over to GitLab may well help, but I guess that remains to be seen in practice, I guess? -- View it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/86#note_430981 You're receiving this email because of your account on gitlab.gnome.org.
_______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
