On that note, legally, I don't think there is anything preventing you from automatically mirroring all MIT-licensed repos as well and pulling in some organic se

On that note, legally, I don't think there is anything preventing you from automatically mirroring all MIT-licensed repos as well and pulling in some organic search engine traffic that way. Don't know if that also applies to the comments, pull requests, etc., but it's an intriguing move and definitely one I'd consider as long as there is a sane way of allowing the relevant users verify their ownership of a repo via GitHub API if they wish to "claim" the corresponding automatic gitlab repo.