It's not very ideal for admins to be able to change their ssh key via the web interface, since it can then be used to impersonate high-privilege users in other places. We should have a LocalSettings.php config option for blacklisting specific groups from changing their own SSH key.
Version: unspecified
Severity: normal