GitHub just made a major behind-the-scenes upgrade, and we chew on some of the impressive details.