projects / pggit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07f3987) | patch
Don't accidentally delete ssh keys on login
authorMagnus Hagander <magnus@hagander.net>
Tue, 11 Aug 2020 15:39:32 +0000 (17:39 +0200)
committerMagnus Hagander <magnus@hagander.net>
Tue, 11 Aug 2020 15:39:32 +0000 (17:39 +0200)
commitecbc938bb1734ac0f2a75e152f2f8031fedd728b
tree36e0f4ad6aa3bd0ff70c95b63966bbf4faa23840tree
parent07f398766a5df047f4e31feea75999a83c2bf7d0commit | diff
Don't accidentally delete ssh keys on login

ssh key information is not included when a direct login is done (to not
overflow the URL length limit), so don't delete the user ssh key in this
case.
gitadmin/gitadmin/adm/util.py diff | blob | blame | history
This is a repository for the pggit management code itself