Roku Just Moved from GitHub to GitLab. How to Migrate Your Repos Too

GitLab's importer brings over issues, PRs and wikis, but you rewrite Actions by hand. Plus a push mirror so old GitHub links keep working.