#! /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" || echo error happens when check upstream at $1