One would think the Danish government could afford to put up a server of their own, either in some computer lab of their own or a rented one at some purveyor of

One would think the Danish government could afford to put up a server of their own, either in some computer lab of their own or a rented one at some purveyor of such. Especially as they wouldn't need a very big one, since they don't actually need all the stupid Web bumf that is good only for making naïve developers think git means github. They could just put actual git on it, publish the address, and people can do a git clone on their command line. They're supposed to be developers, right?