update-schema.sh: add git push post-commit

diff --git a/schema/update-schema.sh b/schema/update-schema.sh
index 72f2230dd5c9205c6581485314e21f0876654e95..364289d9425ea7be4cb4e114108fda9d050bbc05 100755 (executable)
--- a/schema/update-schema.sh
+++ b/schema/update-schema.sh
@@ -8,5 +8,6 @@ git add wanna-build.sql
 sudo -u postgres pg_dumpall --cluster 8.4/wanna-build | egrep '^(GRANT.*TO.*BY|CREATE ROLE)' > roles.sql
 git add roles.sql
 
-git commit wanna-build.sql roles.sql -m 'Auto-committed schema changes.'
+git status >/dev/null && git commit wanna-build.sql roles.sql -m 'Auto-committed schema changes.'
+git push >/dev/null