Learn more about these different git repos.
Other Git URLs
We should be able to delete user uploaded ssh key.
Login to comment on this ticket.