blob: e96a4503a1eb98ca7f5104645f90c5e1ad1fa5ff (
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
|
#! /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 && \
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
|
