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)
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.
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