[11:43:54] [telegram] [Urgent] [11:43:54] [telegram] Hi, how to delete patch in gerrit (if pushed some important things) ? [11:44:20] [telegram] [Urgent] [11:44:20] [telegram] Hi, how to delete patch in gerrit (if pushed some important things by mistake) ? [11:44:36] [telegram] [Urgent] [11:44:37] [telegram] Hi, how to delete patch in gerrit (if pushed some private keys by mistake) ? [11:44:51] [telegram] [Urgent] [11:44:51] [telegram] Hi, how to delete patch in gerrit (if pushed any private keys by mistake) ? [11:52:15] Gopa: you can't, really. Revoke the private key and create a new one [11:52:57] Ooh okay, thanks :) [11:53:28] [telegram] I don't have this permission. @andreklapper @siebrand Srishti @Ladsgroup @bd808 @jdforrester can you help? ⬆️ [11:53:48] [telegram] I cannot, sorry [11:54:07] (admins might be able to delete revisions on Gerrit itself, but once it's pushed to Gerrit it's also synchronized to other backends. I think this includes github, and I'm pretty sure there are people listening to all github changes to pick up private keys that are being pushed) [11:54:08] [telegram] I'm pretty sure it's possible to delete a patch, although by now the keys are probably compromised anyway. [11:54:58] [telegram] https://www.mediawiki.org/wiki/Gerrit/Privilege_policy might include a link to Gerrit admins or so. [11:56:21] valhallasw`cloud: Okay then, I will try to change my keys (best option as of now :) [12:46:12] You can delete changes [12:46:32] Patches can be scrubed (through the backend) [12:58:27] [telegram] With these sorts of things it's best to treat them as permanently compromised and remove the key from being trusted anywhere, rather than attempt to have it removed from being public [13:02:14] ^ [19:58:35] [telegram] https://m.mediawiki.org/wiki/Wikimedia_Hackathon_2020