#947119 nm.debian.org: doesn't offer a useful way to refresh the cached key

#947119#3
Date:
2019-12-21 10:30:35 UTC
From:
To:
See https://lists.debian.org/1903175.1T8x62ab4V@t450

The Key.refresh_key() function is not easy to call from the web ui.  The
only button available to refresh a key is the one in the "keycheck"
view, but there are other cases that might require refreshing a key.

I propose to put a similar button next to the "fingerprint" label in the
main person view.