1 files changed, 4 insertions, 0 deletions
diff --git a/tools/push b/tools/push
index 7b149e8f..2d8be6a2 100755
--- a/tools/push
+++ b/tools/push
@@ -1,5 +1,9 @@
 #!/bin/sh
 
+set -e
+
+(cd plan/data; git push)
+(cd plan; git commit -a -m "Update TODO files" && git push)
 git checkout master
 git merge --no-ff next
 git checkout next