Re: git push tags

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.

-Angelo