diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-10-01 22:01:14 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-10-01 22:01:14 +0200 |
| commit | aea85f04293210b94c6faa0ac9cb950a9239bd5b (patch) | |
| tree | f03b4c1a511156af1719ebacd16ff4d30dfb24d9 /Makefile | |
| parent | de81ed49e67ce47bd931bd6f84bd1bb8a2167262 (diff) | |
| download | git-bug-aea85f04293210b94c6faa0ac9cb950a9239bd5b.tar.gz | |
makefile: also clear the cache after deleting the bugs
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -27,6 +27,7 @@ debug-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 + rm -f .git/git-bug/cache clean-remote-bugs: git ls-remote origin "refs/bugs/*" | cut -f 2 | xargs -r git push origin -d |