search

schacon / hg-git

mercurial to git bridge, pushed to directly from the hg-git plugin in Hg
GNU General Public License v2.0
620 stars 71 forks source link

locally removed tags do not get removed from git remote #268

Closed alexreg closed 10 years ago

alexreg commented 10 years ago

I delete a tag locally, but when I push (even with -f), the remote Git repository retains the old tag. This shouldn't happen, of course.