add script to update everything without detaching heads

update_all.sh

@@ -0,0 +1,50 @@
+#!/bin/sh
+
+main_repo=$(pwd)
+
+git_save() {
+    status=$(git status -s)
+
+    if [ "$status" ]; then
+        git stash push --include-untracked
+        return 0
+    else
+        return 1
+    fi
+}
+
+git_restore() {
+    if [ $1 -eq 0 ]; then
+        git stash pop
+    fi
+}
+
+# update main
+git pull
+
+# update battle_engine
+echo "*** Updating Battle Engine repository ***"
+cd $main_repo/battle_engine
+git_save
+result=$?
+git checkout master
+git pull
+git_restore $result
+
+# update g3headers
+echo "*** Updating g3headers repository ***"
+cd $main_repo/g3headers
+git_save
+result=$?
+git checkout master
+git pull
+git_restore $result
+
+# update private
+echo "*** Updating private repository ***"
+cd $main_repo/sots-private
+git_save
+result=$?
+git checkout master
+git pull
+git_restore $result