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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html