This is the mail archive of the mailing list for the binutils project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: How can I remove a personal tag?

On Mon, Feb 29, 2016 at 3:50 PM, Joel Brobecker <> wrote:
>> I want to update users/hjl/linux/release/ tag by
>> removing it fist.  I got
>> # git push origin  :users/hjl/linux/release/
>> remote: *** Deleting a tag is not allowed in this repository
>> remote: error: hook declined to update
>> refs/tags/users/hjl/linux/release/
>> Auto packing the repository for optimum performance.
>> warning: There are too many unreachable loose objects; run 'git prune'
>> to remove them.
>> To ssh://
>>  ! [remote rejected] users/hjl/linux/release/ (hook declined)
>> error: failed to push some refs to
>> 'ssh://'
> Changing the target of a tag is considered to be a really bad idea.
> I have to run, but you can look it up on the web as to why.
> I can delete the tag for you, but regardless, I recommend you use

Can you delete it for me?  Thanks.

BTW, can you also prune the git repo?  It has too many unreachable

> another one. This happened to me too when I was creating an earlier
> GDB release, so it's really important to be careful when creating
> them...
> --
> Joel


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]