This sounds like a most plausible explanation. Or perhaps you unknowingly uploaded the file to another repo as well? Others in the thread mentioned that they

This sounds like a most plausible explanation. Or perhaps you unknowingly uploaded the file to another repo as well? Others in the thread mentioned that they have private keys in their repo as a honeypot - if there was a security breach within GitHub, their keys would also be lost.