clean up publish script to push tags

2015-08-05 22:44:33 +01:00
parent 637b708777
commit 71a72ced0a
1 changed files with 2 additions and 1 deletions
--- a/scripts/publish.js
+++ b/scripts/publish.js
@@ -143,4 +143,5 @@ try {
  return;
 }

-exec("git push --follow-tags", true);
+exec("git push", true);
+exec("git push --tags", true);