diff options
| author | Vincent Tiu <46623413+Invincibot@users.noreply.github.com> | 2020-07-09 20:40:44 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-09 14:40:44 +0200 |
| commit | f3304bdc1c215e733b9a2ee6a228e64f663c2b09 (patch) | |
| tree | 44e21d3922b270dfe92a49361567775e684a292a /identity | |
| parent | de062a78ece6a33cc44d8bd3372d814b288ce916 (diff) | |
| download | git-bug-f3304bdc1c215e733b9a2ee6a228e64f663c2b09.tar.gz | |
Add functionality to remove bugs from a local repository. (#423)
Add functionality to remove bugs from a local repository.
This adds a function to remove git references in the repo and another one to remove bugs.
Diffstat (limited to 'identity')
0 files changed, 0 insertions, 0 deletions