Always push before publishing

hadley · hadley · commit 0101328d242e · 2013-11-18T09:12:16.000-06:00
diff --git a/publish.sh b/publish.sh
@@ -1,5 +1,6 @@
 set -e
 
 # ./build-book.sh
+git push
 jekyll build
 s3_website push
