diff options
| author | Michael Muré <batolettre@gmail.com> | 2020-03-05 22:02:58 +0100 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2020-03-05 22:02:58 +0100 |
| commit | 05c968ca2493eb78d0890768c36c39d56c1e65c0 (patch) | |
| tree | a814591ce3ce9390d94881db5f48be01a674bc43 | |
| parent | e0a702f41d844cef3e0d7bd0f9e986408fdfbe9a (diff) | |
| download | git-bug-05c968ca2493eb78d0890768c36c39d56c1e65c0.tar.gz | |
makefile: add target to clean remote identities
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -55,4 +55,7 @@ clean-local-identities: git for-each-ref refs/remotes/origin/identities/ | cut -f 2 | $(XARGS) -n 1 git update-ref -d rm -f .git/git-bug/identity-cache +clean-remote-identities: + git ls-remote origin "refs/identities/*" | cut -f 2 | $(XARGS) git push origin -d + .PHONY: build install releases test pack-webui debug-webui clean-local-bugs clean-remote-bugs |