Public vs Private Github repo?
Is it possible that this Dev was thinking that s/he was using a private repo on Github and accidentally uploaded to a public one?
My organisation uses a similar provider and I'm paranoid that one day I'll dump some private code into a public one.