From aea85f04293210b94c6faa0ac9cb950a9239bd5b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20Mur=C3=A9?= Date: Mon, 1 Oct 2018 22:01:14 +0200 Subject: [PATCH] makefile: also clear the cache after deleting the bugs --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 83e753c843aed469c1b57a189fdcfdc6d6da8026..17275db0d5eba669f7f0db33e26ab26dbb4a49d6 100644 --- a/Makefile +++ b/Makefile @@ -27,6 +27,7 @@ debug-webui: clean-local-bugs: git for-each-ref refs/bugs/ | cut -f 2 | xargs -r -n 1 git update-ref -d git for-each-ref refs/remotes/origin/bugs/ | cut -f 2 | xargs -r -n 1 git update-ref -d + rm -f .git/git-bug/cache clean-remote-bugs: git ls-remote origin "refs/bugs/*" | cut -f 2 | xargs -r git push origin -d