Comment by drawfloat

Revocation of leaked keys isn't a new idea, even Github offers it as an option. It's basic practice.