The headline is misleading because it implies the source code was already on GitHub.
If the source was not already on GitHub, then a "GitHub Leak" of that source could not possibly be caused by a software error.
If the source was not already on GitHub, then a "GitHub Leak" of that source could not possibly be caused by a software error.
Regardless, many of us agree that the title suggests GitHub as a central role to the leak. If, as other commenters say, it was just used as a file host.. it doesn't belong in the title imo. It's just there to pull in more views. It may as well been Piratebay.