Git tags

[Jason A. Donenfeld]

Hi Oliver,

On Fri, Jun 16, 2017 at 3:07 AM, Oliver Beattie <oliver at monzo.com> wrote:
> Given tags in Git are extremely lightweight, would it be unreasonable
> to keep them around?

I can keep them around, no problem. I just thought they looked sort of
cluttered, so I removed them, but if it's useful to you, I don't mind
keeping them.

What use case did you have in mind, anyway, for old tags?

Jason