Problem with apt repo on GitHub

From what I gather in this closed thread, adding the new key isn’t enough: the old key should be removed too.

sudo apt-key del 57B7A98BBEBA8C10CA4458810DD08811478B1249

Is it just that key that was compromised? What about the key from 2015, ID DF00 FAF1 C577 104B 50BF 1D00 93D6 889F 9F0E 78D5 for Igor Pecovnik - has the private key for that been compromised too?

2 Likes