Comment by juliusdavies

GitHub could have both styles pre-initialized behind the scenes, multiplex the push to both, and keep the one that doesn’t fail.

In software everything is possible.