Commit ed90c5c7 authored by Francois-Rene Rideau's avatar Francois-Rene Rideau
Browse files

Fix (delete wrongful) remote tags

parent 0d313574
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -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: