Merge branch 'next'

2009-10-31 05:34:51 -04:00 · 2009-10-31 05:34:51 -04:00 · a2e643fc3d
commit a2e643fc3d
parent d48c5e60d2 03d0580089
1 changed files with 4 additions and 0 deletions
--- 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