Re: git push tags

From: Kacper Kornet <draenog@pld-linux.org>
Date: Oct 26, 2012, 19:00 UTC
Message-ID: <20121026190029.GB15328@camk.edu.pl>
In-Reply-To: <CAB9Jk9AR7vFBH6E7-hFabyD9XgRrF5PVZU-HtABS85wkwVTt+Q@mail.gmail.com>

On Fri, Oct 26, 2012 at 08:35:50PM +0200, Angelo Borsotti wrote:

> Hello

> Drew,

> I made some further tests on git-push to see if it handled branches
> and tags in the same way, and have discovered the following
> differences:

>     - git push origin --delete master
>       remote: error: By default, deleting the current branch is denied

>     - git push origin --delete vx            (where vx is a tag)
>       ... accepted

> This is consistent with what is done on the local repo: deleting the
> current branch is disallowed, but deleting a tag is allowed (even when
> HEAD points to it).
> That means that git-push does not handle branches and tags exactly the same.

> Kacper

> thank you for the patch. To keep downward compatibility, the denial to
> update tags should perhaps be enabled with some option.

You are probably right. The proper submission should also contain a test. I have sent a crude patch to show that the behaviour asked by you is possible to obtain.

I will try to prepare a formal submission patch, but I can't say how long it will take me. So if you want to do it by yourself feel free.

-- 
  Kacper Kornet