Found me; very nice. I wouldn't have guessed how you did it without the explanation about GitHub.
I wonder if this means we should be rotating keys periodically? I know most companies require users to rotate their password every X days.
Also, does GitHub have a setting to disable public key publishing?