From f6e9394aa57ae2e086ca5966e03ba5789d992e02 Mon Sep 17 00:00:00 2001
From: Matthew Honnibal <honnibal+gh@gmail.com>
Date: Sat, 11 May 2019 19:04:35 +0200
Subject: [PATCH] Fix push-tag script

---
 bin/push-tag.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/push-tag.sh b/bin/push-tag.sh
index 57133499c..50b50c986 100755
--- a/bin/push-tag.sh
+++ b/bin/push-tag.sh
@@ -16,4 +16,4 @@ version=${version/\'/}
 version=${version/\"/}
 version=${version/\"/}
 git tag "v$version"
-git push origin "v$version" --tags
+git push origin "v$version"