Don't push master

oci-labs · Oct 19, 2014 · 794a734 · 794a734
1 parent 2a18efc
commit 794a734
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/update-javadoc.sh b/update-javadoc.sh
@@ -14,5 +14,4 @@ ERROR=$?
 
 git checkout master || exit $?
 [ $ERROR -eq 0 ] || exit $ERROR
-git push origin master || exit $?
 git push origin gh-pages || exit $?