🚧 Pardon our dust! 🏗️ You may notice some things moving around over the next few days as we migrate our product repositories to GitHub this week. G We apologize for any inconvenience in the meanwhile, and we look forward to welcoming all contributors and community members to the new GitHub contributor experience. More info coming soon!

It’s a bummer that issue comments aren’t getting copied over from Gitlab, is that something you’re looking to preserve too? I’ve seen migration strategies that had the bot post a comment with a quote per source-repo-comment.