bin/publish

@@ -33,13 +33,13 @@ git add "${FILENAME}"
 if git commit -m "published as ${URL}"
 then
 	git log -1
-	git tag -d "${TAG}" || true
+	git tag -d "${TAG}" 2>/dev/null || true
 	git tag -s "${TAG}" -m "Publish report for ${TAG}"
 
 	echo
 	echo "Now verify the results and run:"
 	echo
-	echo "  $ git push origin master && git push origin ${TAG}"
+	echo "  $ git push origin master && git push origin refs/tags/${TAG}"
 	echo
 
 	while true
@@ -49,7 +49,7 @@ then
 
 		case "${X}" in
 		Y|"")
-			git push origin master && git push origin ${TAG}
+			git push origin master && git push origin refs/tags/${TAG}
 			break
 			;;
 		N|n)