Deleting a remote tag shows as new tag

Created by: koenpunt

Deleting a tag on the server by using git push origin :TAGNAME shows as new tag on the overview and on the project page.