security issue: unable to delete a deploy key globally

Summary

There doesn't seem to be a way to globally delete a deploy key. The only thing available is to disable it on a per-repository basis.

This is a big security problem. In case a deploy key is compromised, there doesn't seem to be a simple way to completely remove a deploy key, from a global place. If I have a few hundred repositories, it seems very wrong for the hackers to get a few hours extra access, while I'm manually removing it from all repos.

What is the current bug behavior?

Missing functionality: ability to completely delete a deploy key, in such a way that it doesn't appear in the UI at all, neither in the "Enabled deploy keys" tab, not in the "Privately accessible deploy keys"

What is the expected correct behavior?

A way to globally delete a deploy key. This could be done in a separate screen to manage all known deploy keys, or in the "Privately accessible deploy keys", or (harder to discover) on the edit page of a deploy key (or somewhere else, as you deem fit).

Relevant logs and/or screenshots

n/a

Output of checks

n/a

Results of GitLab environment info

Hosted GitLab (I can't see the version anywhere on the page).

Results of GitLab application Check

n/a

Possible fixes