Alberto Fanjul commented: Search source code is a missing feature in gitlab.
There're issues related to disable the PR feature on github, but still there're no plans for that: https://stackoverflow.com/a/48940685/848072 About examples, can see the reasoning why people is so upset to do a MR in other system, mostly when gitlab allows you to login with github credentials. Maybe we should add that on automatic reply -- View it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/86#note_428233 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
