diff options
author | Michael Muré <batolettre@gmail.com> | 2018-08-17 12:51:55 +0200 |
---|---|---|
committer | Michael Muré <batolettre@gmail.com> | 2018-08-17 12:51:55 +0200 |
commit | 90f235b393b2f7b387d9f3749e486dec1a381f96 (patch) | |
tree | 9f29a493461a0510ee833f412b97744ac3a17ff6 /Makefile | |
parent | e482a37776524b56d602e0067b254ea48307eea2 (diff) | |
download | git-bug-90f235b393b2f7b387d9f3749e486dec1a381f96.tar.gz |
makefile: add a target to clean bugs on a remote
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 |