let's not push automatically when generating docs

mixpanel · Dec 12, 2017 · 31b0db1 · 31b0db1
1 parent d28e63e
commit 31b0db1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/generate_docs.sh b/generate_docs.sh
@@ -8,6 +8,5 @@ cp -a docs/html/. docs/.
 rm -rf docs/html
 git add docs
 git commit -m 'updated docs'
-git push
 
 echo "Updated docs!"