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" | ||