Re: How to remove remote branch with git?

[Behdad Esfahbod <behdad behdad org>]

On 04/21/2009 07:30 PM, Og Maciel wrote:
> On Mon, Apr 20, 2009 at 10:54 PM, Vincent Untz<vuntz gnome org>  wrote:
> > Added to http://live.gnome.org/Git/FAQ
>
> As per the information above:
>
> git push origin :tags/billreminder-0.3.2
> ---
> You are trying to delete the tag 'billreminder-0.3.2'.
>
>    http://live.gnome.org/Git/Help/TagUpdates
> ---
> To ssh://ogmaciel git gnome org/git/billreminder
>   ! [remote rejected] billreminder-0.3.2 (pre-receive hook declined)
> error: hooks/pre-receive exited with error code 1
> error: failed to push some refs to
> 'ssh://ogmaciel git gnome org/git/billreminder'
>
> Am I doing something wrong? Thanks in advance.

That's actually what I expected.  I added some detail to this page:

  http://live.gnome.org/Git/Help/TagUpdates

Please find owen or krh in #git to sort things out as special cases.

Someone please update Git/FAQ :).

Cheers,
behdad