Remotely updating a tag in Gerrit?

[Jean-Baptiste Queru]

I discovered that we have a tag somewhere pointing to the wrong commit
(user error from the person who created the tag).

While I can locally create the "fixed" tag to point to the right
commit, I can't push it to Gerrit, even with "Push Annotated Tag +3".

Is there a way to remotely delete or update a tag through Gerrit, or
will I need to go use git on the server in Gerrit's back?

Thanks,
JBQ

--
Jean-Baptiste M. "JBQ" Queru
Software Engineer, Android Open-Source Project, Google.

Questions sent directly to me that have no reason for being private
will likely get ignored or forwarded to a public forum with no further
warning.

[Shawn Pearce]

On Thu, Jul 30, 2009 at 08:58, Jean-Baptiste Queru<j...@android.com> wrote:
>
> I discovered that we have a tag somewhere pointing to the wrong commit
> (user error from the person who created the tag).
>
> While I can locally create the "fixed" tag to point to the right
> commit, I can't push it to Gerrit, even with "Push Annotated Tag +3".
>
> Is there a way to remotely delete or update a tag through Gerrit, or
> will I need to go use git on the server in Gerrit's back?

Nope, you can't do it remotely.

IIRC Gerrit won't permit a tag to be changed or deleted. You will
need to do it directly on the Git repository.

[Jean-Baptiste Queru]

OK, no problem. That's a really good incentive to get tags right the
first time. Personally I don't like the idea of tags that move, so it
might as well be a hard enough thing to do that Gerrit admins will
want to avoid doing it.

JBQ

[Shawn Pearce]

Moving tags in general in git is a bad idea. Its not commonly done.
That's why I didn't feel bad when I coded this part of Gerrit to
simply refuse to move (or delete) a tag. Though if someone really
really cared enough, they could code in a +4 or something for the tag
permission to allow move/delete.