aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/check_upstream
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/check_upstream')
-rwxr-xr-xscripts/check_upstream25
1 files changed, 0 insertions, 25 deletions
diff --git a/scripts/check_upstream b/scripts/check_upstream
deleted file mode 100755
index 3313e5b..0000000
--- a/scripts/check_upstream
+++ /dev/null
@@ -1,25 +0,0 @@
1#! /bin/bash
2
3# This script is for repo forked from others
4# check $1(repo) if upstream branch origin/master is
5# ahead of local branch $2(default to dev)
6
7if [ ! -d "$1" ]; then
8 return 0
9fi
10
11head='dev'
12if [ $# -eq 2 ]
13then
14 head=$2
15fi
16
17cd "$1" && \
18git fetch origin && \
19if ! git rev-list "$head" | grep "$(git rev-parse origin/master)" > /dev/null
20then
21 [[ $(git pull my) == 'Alrady up to date.' ]] || \
22 echo "New commit at" "$1"
23fi
24
25echo "$(date)" check "$1" >> "$SETTING_DIR/log"