update

1 files changed, 0 insertions, 24 deletions

diff --git a/tools/check_upstream b/tools/check_upstream
deleted file mode 100755
index e9e8841..0000000
--- a/tools/check_upstream
+++ /dev/null
@@ -1,24 +0,0 @@
-#! /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"