1 files changed, 27 insertions, 0 deletions

diff --git a/scripts/check_upstream b/scripts/check_upstream
new file mode 100755
index 0000000..9f20037
--- /dev/null
+++ b/scripts/check_upstream
@@ -0,0 +1,27 @@
+#! /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 && \
+git rev-list $head | grep $(git rev-parse origin/master) > /dev/null
+
+if [ $? -ne 0 ]
+then
+    echo "New commit at" $1
+fi
+
+echo $(date) check $1 >> $SETTING_DIR/log