@HMonroy reports on IRC that they get a 500 error when trying to delete an ssh key on toolsadmin. I tried it myself and it fails for me too.
Description
Description
@HMonroy reports on IRC that they get a 500 error when trying to delete an ssh key on toolsadmin. I tried it myself and it fails for me too.