@codesections
If it were me, I'd choose gitlab, but then again, you bring a good point that the GitHub still will get you attention. Probably what's best would be to do it on GitHub and every now and then copy it all to gitlab until MS does something horrible(or not, I'm not combined that they will)