From ecf857a71a16dec6d200150215d33587a6d85a54 Mon Sep 17 00:00:00 2001 From: Michael Muré Date: Sat, 23 Feb 2019 13:02:53 +0100 Subject: makefile: add the clean-local-identities target for debugging --- Makefile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 3c6207c7..7fb04977 100644 --- a/Makefile +++ b/Makefile @@ -35,9 +35,14 @@ 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 + rm -f .git/git-bug/bug-cache clean-remote-bugs: git ls-remote origin "refs/bugs/*" | cut -f 2 | xargs -r git push origin -d +clean-local-identities: + git for-each-ref refs/identities/ | cut -f 2 | xargs -r -n 1 git update-ref -d + git for-each-ref refs/remotes/origin/identities/ | cut -f 2 | xargs -r -n 1 git update-ref -d + rm -f .git/git-bug/identity-cache + .PHONY: build install test pack-webui debug-webui clean-local-bugs clean-remote-bugs -- cgit