Panne bei GitHub: Privater SSH-Schlüssel war öffentlich einsehbar

Der private SSH-Schlüssel von GitHub war wohl kurzfristig in einem öffentlichen Repository aufgetaucht und wurde nun durch einen neuen ersetzt.