From 05c968ca2493eb78d0890768c36c39d56c1e65c0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20Mur=C3=A9?= Date: Thu, 5 Mar 2020 22:02:58 +0100 Subject: [PATCH] makefile: add target to clean remote identities --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 81b0f7cecdd538527a30d8d0d4b0ec7a0bc8ef95..56553936fe1d1973d2ce4fcbca997d77f189e6aa 100644 --- a/Makefile +++ b/Makefile @@ -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