makefile: also clear the cache after deleting the bugs

Michael Muré created 7 years ago

Change summary

Makefile | 1 +
1 file changed, 1 insertion(+)

Detailed changes

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