Comment by torstenvl

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.