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 |