That seems common enough I don’t see any immediate dangers.
I’ve read some interesting things about how leaning on other github services inside their platform are kind of designed to trap projects in a vertical integration sort of way. So you’d wanna be on the lookout for that. But as long as it’s a code mirror and not the main repo that id imagine youd be insulated from that.