From 86db9e0a7720d32e98cd18d5b59ca220773ef689 Mon Sep 17 00:00:00 2001
From: phips28 <phips28@gmx.at>
Date: Sat, 26 Oct 2019 22:21:51 +0200
Subject: [PATCH] try to fix the git push command

---
 index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.js b/index.js
index 896bd47..5ad023e 100644
--- a/index.js
+++ b/index.js
@@ -41,7 +41,7 @@ Toolkit.run(async tools => {
     console.log('remoteRepo:', Buffer.from(remoteRepo).toString('base64'))
 
     await tools.runInWorkspace('git', ['tag', newVersion])
-    await tools.runInWorkspace('git', [`push "${remoteRepo}"`, '--follow-tags'])
+    await tools.runInWorkspace(`git push "${remoteRepo}"`, ['--follow-tags'])
     await tools.runInWorkspace('git', [`push "${remoteRepo}"`, '--tags'])
   } catch (e) {
     tools.log.fatal(e)