From 8eff7db8aeea986b6ce923e8dcd1af348fc1c10f Mon Sep 17 00:00:00 2001 From: Valentin Brandl Date: Fri, 15 May 2020 14:03:17 +0200 Subject: [PATCH] Document deletion feature --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 3b4493e..2161d43 100644 --- a/README.md +++ b/README.md @@ -29,6 +29,10 @@ https://////json There is also an overview page available via `https:///view///` +To delete a repository and the cache from the server, send a `POST` request to +`https://////delete`. On the overview page, there is a button to perform this operation. It +will respond with a redirect to the overview page so the cache is rebuilt directly. + ## Building The code can be built as a standalone binary, using `cargo` or as a Docker container. Run either