diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-08-16 18:20:11 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-08-16 18:20:11 +0200 |
| commit | f510e43418aef31e8521d346abdcda6c38f34eaf (patch) | |
| tree | 799a9609b5044d5d436f8f383fe796b9169cf25e /Makefile | |
| parent | 51b0d70985d7c9daaeb80e0216818fa3011653b5 (diff) | |
| download | git-bug-f510e43418aef31e8521d346abdcda6c38f34eaf.tar.gz | |
makefile: add a target to remove all local bugs
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 |