Exactly, now they have the best of both worlds: let Microsoft host the code using a standard VCS, but avoid lock in by continuing to use their own issue tracker and project management software.
Mozilla has a lot more weight to throw around in incidents like this. Personally, I would never use Github. Microsoft keeps spiraling down the Enshitification drain.