How can I remove a personal tag?

[H.J. Lu]

On Tue, Mar 1, 2016 at 8:47 AM, Joel Brobecker <brobecker@adacore.com> wrote:
>> Can you delete it for me?  Thanks.
>>
>> BTW, can you also prune the git repo?  It has too many unreachable
>> objects.
>
> Done and done.

Thanks.

-- 
H.J.