diff options
| author | typebrook <typebrook@gmail.com> | 2020-03-05 22:21:38 +0800 |
|---|---|---|
| committer | typebrook <typebrook@gmail.com> | 2020-03-05 22:21:38 +0800 |
| commit | b99dad9e06aa2f02f3a77ad475be4870b5c7c9f6 (patch) | |
| tree | 65945ad77aecbeb85c68ea9e80511d0d1b9d4c9a | |
| parent | e7598928bac80354cd2dcaca25f7849cb1e6b21c (diff) | |
update
| -rwxr-xr-x | tools/check_upstream | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/check_upstream b/tools/check_upstream index 3313e5b..e9e8841 100755 --- a/tools/check_upstream +++ b/tools/check_upstream | |||
| @@ -16,8 +16,7 @@ fi | |||
| 16 | 16 | ||
| 17 | cd "$1" && \ | 17 | cd "$1" && \ |
| 18 | git fetch origin && \ | 18 | git fetch origin && \ |
| 19 | if ! git rev-list "$head" | grep "$(git rev-parse origin/master)" > /dev/null | 19 | if ! git rev-list "$head" | grep "$(git rev-parse origin/master)" > /dev/null; then |
| 20 | then | ||
| 21 | [[ $(git pull my) == 'Alrady up to date.' ]] || \ | 20 | [[ $(git pull my) == 'Alrady up to date.' ]] || \ |
| 22 | echo "New commit at" "$1" | 21 | echo "New commit at" "$1" |
| 23 | fi | 22 | fi |