3 while read oldrev newrev refname ; do
4 if expr "$oldrev" : '0*$' >/dev/null ; then
8 if [ "$refname" != "refs/heads/stable" ] ; then
12 count=$(git rev-parse --not --branches | grep -v $(git rev-parse $refname) | git rev-list --stdin $oldrev..$newrev | wc -l)
13 if [ "$count" -ne "0" ] ; then
14 newname=$(git rev-parse "$newrev")
15 echo "----------------------------------------------------"
17 echo "Moving stable to $newname includes a new commit"
19 echo "----------------------------------------------------"