diff options
| author | Michael Muré <batolettre@gmail.com> | 2019-02-23 13:02:53 +0100 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2019-03-01 22:40:29 +0100 |
| commit | ecf857a71a16dec6d200150215d33587a6d85a54 (patch) | |
| tree | 1599e97cbdb54104a1b535e08ab24c2e8f0d564e | |
| parent | 839b241f0c1b8ee670be207688228e8ea71602b7 (diff) | |
| download | git-bug-ecf857a71a16dec6d200150215d33587a6d85a54.tar.gz | |
makefile: add the clean-local-identities target for debugging
| -rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -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 |