From 00b136155183ae522ca458e540a8cf29bf525e74 Mon Sep 17 00:00:00 2001 From: typebrook Date: Thu, 27 Feb 2020 16:32:37 +0800 Subject: update --- scripts/check_upstream | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100755 scripts/check_upstream (limited to 'scripts/check_upstream') 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 @@ -#! /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" -- cgit v1.2.3-70-g09d2