From 4bfb4843cb4955e7e8c6dc260435b00c46a6e04b Mon Sep 17 00:00:00 2001
From: Wilson Lin <code@wilsonl.in>
Date: Wed, 15 Jan 2020 23:05:13 +1100
Subject: [PATCH] Also push tag when versioning

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

diff --git a/version b/version
index ca8f7a5..74d6856 100755
--- a/version
+++ b/version
@@ -70,4 +70,4 @@ cmd('git', 'commit', '-m', NEW_VERSION);
 cmd('git', 'tag', '-a', `v${NEW_VERSION}`, '-m', '');
 cmd('cargo', 'publish');
 cmd('npm', 'publish', {workingDir: join(__dirname, 'nodejs')});
-cmd('git', 'push');
+cmd('git', 'push', '--follow-tags');