Allow manually removing repo on disk from UI
Created by: ryanslade
It would be useful for admins to be able to manually remove a repo on disk from the UI.
This would not delete the repo, but would just issue a command to gitserver to remove the repo on disk. We then expect existing checks to reclone the repo in the future.