$work just moved a few dozen repos to GitLab using their import tool, including issues, PRs, comments, etc. It got everything over but stumbled on a few comment

$work just moved a few dozen repos to GitLab using their import tool, including issues, PRs, comments, etc. It got everything over but stumbled on a few comments. Not a prop to GitLab, it's kindof table stakes now, just saying whichever place you go, you can find or write a migrator that will capture most of what's in GitHub, assuming their API is up long enough...