chore(github actions): changing git push command (2)

darkanakin41 · Nov 6, 2020 · a25cbaf · a25cbaf
1 parent 90461e1
commit a25cbaf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/gh-pages-publish.ts b/tools/gh-pages-publish.ts
@@ -25,5 +25,5 @@ exec("git add .")
 exec('git config user.name "Pierre LEJEUNE"')
 exec('git config user.email "darkanakin41@gmail.com"')
 exec('git commit -m "docs(docs): update gh-pages"')
-exec(`git push -u "https://${ghToken}@${repository}" gh-pages`)
+exec(`git push --force --quiet "https://${ghToken}@${repository}" master:gh-pages`)
 echo("Docs deployed!!")