server: Give error if repo to be removed does not exist#85

Merged

taoky merged 1 commit intomainfrom delete-check-1

Jul 23, 2024

+10-2

Commits on Jul 23, 2024

server: Give error if repo to be removed does not exist
taoky
committed