The project benefits from the visibilityband community of GitHub and GitHub is completely replaceable with European hosted or self-hostable options should something untoward happen.
When MS pulls services you are largely screwed.
When GitHub pulls services its a few hours downtime and a new provider.
The word is not ironic it is pragmatic.
Literally the "gotcha" fool from the Matt Bors cartoon: https://thenib.com/mister-gotcha/