projects / pggit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5d883a) | patch
Delete users/ssh keys when removed upstream
authorMagnus Hagander <magnus@hagander.net>
Wed, 18 Sep 2019 08:36:13 +0000 (10:36 +0200)
committerMagnus Hagander <magnus@hagander.net>
Wed, 18 Sep 2019 08:36:13 +0000 (10:36 +0200)
commitfa5aa361af0fd11e6fcf2148045166821f15477d
treea8678eee725abe88ac501766a05139033effe26dtree
parentd5d883ac9e1ab588d210d0b0c4fa796f4eff2633commit | diff
Delete users/ssh keys when removed upstream

Existing code would only update changed users, but if the ssh key was
actually removed upstream the old one would be kept around.
keysync.py diff | blob | blame | history
This is a repository for the pggit management code itself