Surely there was an open procurement process, where they considered the available options for web-based version control, and came to the conclusion that GitHub was justifiably better than its competitors.

They wouldn't just have picked someone's favourite service without thinking, because fair competition is a fundamental ingredient of a well-functioning capitalist market economy.

Right?