If Github backed out, wouldn't someone else fill their spot by using Gitlab? And if so, isn't that transition cost paid for by tax payers?
I'm mostly wondering what's the material impact of Github backing out, outside of optics.