The Gitblit Authority should show users that it as an entry for but that were deleted from the Gitblit user service.
Then there should be the option to delete a deleted user, also deleting his certificates.
A crash was fixed in gitblit#1435, but the user entries are still kept in Authority.
The Gitblit Authority should show users that it as an entry for but that were deleted from the Gitblit user service.
Then there should be the option to delete a deleted user, also deleting his certificates.
A crash was fixed in gitblit#1435, but the user entries are still kept in Authority.