This is the mail archive of the
binutils@sourceware.org
mailing list for the binutils project.
Re: How can I remove a personal tag?
- From: "H.J. Lu" <hjl dot tools at gmail dot com>
- To: Joel Brobecker <brobecker at adacore dot com>
- Cc: Binutils <binutils at sourceware dot org>, GDB <gdb at sourceware dot org>
- Date: Tue, 1 Mar 2016 09:07:32 -0800
- Subject: Re: How can I remove a personal tag?
- Authentication-results: sourceware.org; auth=none
- References: <CAMe9rOpu-zR=69MK_59i=EkCYjkYfq8yDJZusUd0=M5K8hqL8A at mail dot gmail dot com> <20160229235006 dot GB1710 at adacore dot com> <CAMe9rOrX4q7hJ3CDJ+03aLMbhri2T4SpPDYm1KNuHD5-JW9zKw at mail dot gmail dot com> <20160301164718 dot GB22415 at adacore dot com>
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.