Feat: Also update the repository

diff --git a/update-all b/update-all
index 5a782af31910aaf5f7667d69d305c2b4a91e6be1..e55aa84ccf3e958491e0fd1694b6336b5aa4c246 100755 (executable)
--- a/update-all
+++ b/update-all
@@ -1,4 +1,10 @@
 #! /bin/sh
 
-cd "`dirname \"$0\"`"/.. && distribute -aD phdru.name
-cd htdocs && exec distribute -aD phdru.name
+git diff --quiet web/master master ||
+git push web master || exit 1
+
+cd "`dirname \"$0\"`"/.. &&
+distribute -aD phdru.name &&
+
+cd htdocs &&
+exec distribute -aD git.phdru.name phdru.name