On Fri, Oct 26, 2012 at 08:35:50PM +0200, Angelo Borsotti wrote:
> 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
> - 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.
> 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.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html