diff --git a/Makefile b/Makefile index a12fe9cb61f1b8a024fe2ffe00a5b1cda82233fa..f3026e8f076deadee2fc750841f8316ca89d4974 100644 --- a/Makefile +++ b/Makefile @@ -90,7 +90,7 @@ fix-local-git-tags: for i in ${WRONGFUL_TAGS} ; do git tag -d $$i ; done # Delete wrongful tags from remote repository -fix-local-git-tags: +fix-remote-git-tags: for i in ${WRONGFUL_TAGS} ; do git push $${REMOTE:-cl.net} :refs/tags/$$i ; done FORCE: