projects
/
pggit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fa5aa36
)
Revert "Delete users/ssh keys when removed upstream"
author
Magnus Hagander
<magnus@hagander.net>
Wed, 18 Sep 2019 08:43:05 +0000
(10:43 +0200)
committer
Magnus Hagander
<magnus@hagander.net>
Wed, 18 Sep 2019 08:43:05 +0000
(10:43 +0200)
Yeah, we can't delete those because we're loading incrementally. A
proper fix will include more changes upstream
keysync.py
patch
|
blob
|
blame
|
history
diff --git
a/keysync.py
b/keysync.py
index 5717300303ab4cb0d5b7b1f753f137c60e3a57a4..62eb0e1804b1cce52fb129c52d6fd107c27db060 100644
(file)
--- 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])