> A huge advantage of using a git server is being able to mirror the repository. If we > went with a GitLab host, we could potentially mirror over to GitHub. The drawback is > that the pull request history (and related discussions) id not (currently) preserved. I'm pretty sure that if you want to move over to any of the platforms, admins there will happily assist you in pre-filling issues and PRs there from your mailing list. I just saw in the mailing list that a PR needs to be splitted over multiple e-mails. Do you really want to cling to this old fashioned (I'd rather call it obsolete) process?
