From 7f071a375b978a5ff102e444c665bac6f5096ab2 Mon Sep 17 00:00:00 2001
From: Markus Westerlind <marwes91@gmail.com>
Date: Sat, 27 Oct 2018 13:41:26 +0200
Subject: [PATCH] Push tag to upstream as well

---
 publish.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/publish.sh b/publish.sh
index 50a0444..0d68897 100755
--- a/publish.sh
+++ b/publish.sh
@@ -41,6 +41,7 @@ publish lalrpop
 
 git tag $VERSION
 git push origin tag $VERSION
+git push upstream tag $VERSION || true
 
 printf "Updated version in docs etc..."
 perl -p -i -e 's/^version = "[0-9.]+"$/version = "'$VERSION'"/' \