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