From 2f5c9df0deeb171bde99944dcde66351c562afc1 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 31 Mar 2017 18:29:41 -0700
Subject: [PATCH] tools: make tagrelease move tags when needed

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e7ddc9f24..8b083e87e 100644
--- a/Makefile
+++ b/Makefile
@@ -1250,7 +1250,7 @@ site/manual-start.md: $(VERSIONFILE) \
 
 tagrelease: \
 	$(call def-help,tagrelease, commit a release tag based on $(VERSIONFILE) for each package )
-	for p in $(PACKAGES); do git tag $$p-$(VERSION); done
+	for p in $(PACKAGES); do git tag -f $$p-$(VERSION); done
 
 # hackageupload-dry: \
 # 	$(call def-help,hackageupload-dry,\