add support for commit option to update_org_files

[bin.git] / update_org_files

diff --git a/update_org_files b/update_org_files
index d7cec3e3712c3ccef6bb1a37df44f27ef2f1e7f9..88afa6135c9a326398a8bcb7b996e2a7a622bd90 100755 (executable)
--- a/update_org_files
+++ b/update_org_files
@@ -6,7 +6,9 @@ for a in $(mr list |grep 'list:'|grep -v 'finished'|awk -F'list: ' '{print $2}'
     (cd "$a";
     if git status --porcelain|grep '^ M'|grep -q '.org$'; then
           git commit -m'update org files' $(mr --no-recurse status |grep '^ M'|grep '.org$'|sed 's/^ M//g');
-          git push;
+          if [ "$1" != "commit" ]; then
+              git push;
+          fi;
        fi; 
     );
 done;