¿Cómo gestionar de forma segura una emergencia tras la filtración de claves de GitHub?

Subir una clave por error a GitHub es más urgente de lo que muchos piensan. Borrar el commit o cambiar el repositorio a privado es solo una solución superficial; una vez que la clave ha estado en un repositorio remoto, debe darse por filtrada. He visto personas que solo borran el archivo y vuelven a subirlo, pero el commit antiguo sigue ahí y es posible que la clave ya se haya impreso en los…