From 90f235b393b2f7b387d9f3749e486dec1a381f96 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20Mur=C3=A9?= Date: Fri, 17 Aug 2018 12:51:55 +0200 Subject: [PATCH] makefile: add a target to clean bugs on a remote --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 177060071b7e90c79ce85257b188f15f52d3c474..3875a0e35bd0e90c0bc72b7723b1828f087a5cc6 100644 --- a/Makefile +++ b/Makefile @@ -19,4 +19,7 @@ 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 -.PHONY: build install test pack-webui clean-local-bugs +clean-remote-bugs: + git ls-remote origin "refs/bugs/*" | cut -f 2 | xargs -r git push origin -d + +.PHONY: build install test pack-webui clean-local-bugs clean-remote-bugs