I wonder how much it would've taken to keep github running without Microsoft buying them and running them into the ground like this.