blob: c08b3cf34ec4d68301c32073b4c696bf5e583af6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# 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)
check_upstream() {
if [ ! -d $1 ]; then
return 0
fi
head='dev'
if [ $# -eq 2 ]
then
head=$2
fi
cd $1
git fetch origin && \
git rev-list $head | grep $(git rev-parse origin/master) > /dev/null
if [ $? -ne 0 ]
then
echo "New commit at" $1
fi
echo $(date) check $1 >> $SETTING_DIR/log
}
|