GitHub’s source code was leaked on GitHub last night... sort of

According to the CEO, the upload in question was actually of GitHub Enterprise Server, not the GitHub website itself. While the two share a considerable volume of code, the distinction is significant.