Just by reading the title my first though was somehow a iOS update caused a bug in GitHub that led to the source code leaking.
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.