When I moved to gitlab a couple of years ago, I created a commit in each repo which deleted all files and replaced with a single README file pointing to the new

When I moved to gitlab a couple of years ago, I created a commit in each repo which deleted all files and replaced with a single README file pointing to the new URL, pushed those up to github, and then locally undid the commit. I guess they count as mirrored.