stable

Clone or download

Read-only

Fix request #5818: SSH keys with old username are removed

Change-Id: Ib7a5d4f75753b6f86de8ba738c9f8d2286041f97

Modified Files

Name
M plugins/git/include/Git/SystemEventManager.class.php +9 −0 Go to diff View file
M plugins/git/include/Git_Gitolite_SSHKeyDumper.class.php +20 −7 Go to diff View file
M plugins/git/include/autoload.php +4 −3 Go to diff View file
A plugins/git/include/events/SystemEvent_GIT_USER_RENAME.class.php +64 −0 Go to diff View file
M plugins/git/include/gitPlugin.class.php +16 −0 Go to diff View file
M src/common/event/Event.class.php +2 −1 Go to diff View file
M src/common/system_event/SystemEventManager.class.php +1 −1 Go to diff View file
M src/common/system_event/include/SystemEvent_USER_RENAME.class.php +8 −1 Go to diff View file
M src/www/admin/usergroup.php +5 −2 Go to diff View file