Problem with apt repo on GitHub

Looks like someone accidentally pushed to master instead of main, breaking apt for everyone. I raised a GitHub ticket too: Branch renamed from main to master - breaks apt on DevTerm · Issue #1 · clockworkpi/apt · GitHub

thanks ,fixed

and for everyone to update new key

wget -O - | sudo apt-key add - 
sudo apt-key del "57B7 A98B BEBA 8C10 CA44  5881 0DD0 8811 478B 1249"
sudo apt update
1 Like

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?