try to fix the git push command

This commit is contained in:
phips28 2019-10-26 22:21:51 +02:00
parent bede79d845
commit 86db9e0a77
1 changed files with 1 additions and 1 deletions

View File

@ -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)