[forty]

I think you and other responders are missing the point. Yes GitHub gives visibility to the project and is easily replaceable. But putting projects on GitHub gives visibility to GitHub and reenforces the network effect and Microsoft leadership, making it harder for European alternative to emerge.

[Normal_gaussian]

I'm sure they would use a European provider if it was only a minor inconvenience to them; but there is no EU-github nearly done and it doesn't make sense to hamstring this project waiting on it. If this project is successful it will help to justify funding more EU sovereign projects, which will likely include GitHub replacements.