diff options
Diffstat (limited to 'scripts/check_upstream')
-rwxr-xr-x | scripts/check_upstream | 25 |
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 | |||
7 | if [ ! -d "$1" ]; then | ||
8 | return 0 | ||
9 | fi | ||
10 | |||
11 | head='dev' | ||
12 | if [ $# -eq 2 ] | ||
13 | then | ||
14 | head=$2 | ||
15 | fi | ||
16 | |||
17 | cd "$1" && \ | ||
18 | git fetch origin && \ | ||
19 | if ! git rev-list "$head" | grep "$(git rev-parse origin/master)" > /dev/null | ||
20 | then | ||
21 | [[ $(git pull my) == 'Alrady up to date.' ]] || \ | ||
22 | echo "New commit at" "$1" | ||
23 | fi | ||
24 | |||
25 | echo "$(date)" check "$1" >> "$SETTING_DIR/log" | ||