diff --git a/Makefile b/Makefile index d42c92e..045acb1 100644 --- a/Makefile +++ b/Makefile @@ -82,8 +82,8 @@ release: ${CATALOGCD} prepare-release # tags the repository with the RELEASE_VERSION and pushes to "origin" git-tag-release-version: if ! git rev-list "${RELEASE_VERSION}".. >/dev/null; then \ - git tag "$(RELEASE_VERSION)" && \ - git push origin --tags; \ + git tag -f "$(RELEASE_VERSION)" && \ + git push origin --tags -f; \ fi # github-release