update

1 files changed, 25 insertions, 0 deletions

diff --git a/tools/check_upstream b/tools/check_upstream
new file mode 100755
index 0000000..3313e5b
--- /dev/null
+++ b/tools/check_upstream
@@ -0,0 +1,25 @@
+#! /bin/bash
+
+# This script is for repo forked from others
+# check $1(repo) if upstream branch origin/master is
+# ahead of local branch $2(default to dev)
+
+if [ ! -d "$1" ]; then
+    return 0
+fi
+
+head='dev'
+if [ $# -eq 2 ]
+then
+    head=$2
+fi
+
+cd "$1" && \
+git fetch origin && \
+if ! git rev-list "$head" | grep "$(git rev-parse origin/master)" > /dev/null
+then
+  [[ $(git pull my) == 'Alrady up to date.' ]] || \
+  echo "New commit at" "$1"
+fi
+
+echo "$(date)" check "$1" >> "$SETTING_DIR/log"