From f510e43418aef31e8521d346abdcda6c38f34eaf Mon Sep 17 00:00:00 2001
From: Michael Muré <batolettre@gmail.com>
Date: Thu, 16 Aug 2018 18:20:11 +0200
Subject: makefile: add a target to remove all local bugs

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 592dc524..17706007 100644
--- a/Makefile
+++ b/Makefile
@@ -15,4 +15,8 @@ pack-webui:
 	npm run --prefix webui build
 	go run webui/pack_webui.go
 
-.PHONY: build install test pack-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
+
+.PHONY: build install test pack-webui clean-local-bugs
-- 
cgit