Did nobody mirror the repo on GitLab? I figured that was standard operating procedure at this point for anyone who is using Microsoft GitHub. 

 Not that I've seen.
(Like the intention "Microsoft" prefix, will adopt)