From 48fdbf77712b7d3c44c4aaaa7962c2d32719daf4 Mon Sep 17 00:00:00 2001
From: Magnus Hagander <magnus@hagander.net>
Date: Wed, 18 Sep 2019 10:43:05 +0200
Subject: [PATCH] Revert "Delete users/ssh keys when removed upstream"

Yeah, we can't delete those because we're loading incrementally. A
proper fix will include more changes upstream
---
 keysync.py | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/keysync.py b/keysync.py
index 5717300..62eb0e1 100644
--- a/keysync.py
+++ b/keysync.py
@@ -56,10 +56,6 @@ class KeySynchronizer(object):
                 'key': u['s'],
             })
 
-        # Delete any keys that no longer exist upstream
-        curs.execute("DELETE FROM git_users WHERE NOT userid=ANY(%(userids)s)", {
-            'userids': [u['u'] for u in j],
-        })
         # Flag our last sync time
         curs.execute("UPDATE key_last_sync SET lastsync=%s", [synctime])
 
-- 
2.39.5