Commit 281ddf58 authored by root's avatar root
Browse files

Fixing the finding of the right commit ids

To Do - work out why the call to the php file is failing
Signed-off-by: default avatarroot <root@mahara-jenkins>
parent d55c5c14
File mode changed from 100644 to 100755
......@@ -22,22 +22,16 @@ echo ""
# there are more than 30 steps to get to origin HEAD the check above will handle that.
HEAD=`git rev-parse HEAD`
the_list=`git rev-list $HEAD...$MAXBEHINDHEAD`
the_list=`git log --pretty=format:'%H' origin/$GERRIT_BRANCH..$HEAD`
while IFS= read -r line
# see if the commit doesn't already exist in origin
testcommit=`git branch -r --contains $line`
if [ -z "$testcommit" ]; then
# check if the commit or it's parents have been rejected
outcome=`php gerrit_query.php -- $line`
php=`which php`
outcome=`$php -f gerrit_query.php -- $line`
if [ "$outcome" = "1" ]; then
echo "This patch or one of its parents has been rejected";
echo "This patch or one of its parents has been rejected"
exit 1;
# commit exists in origin
done <<< "$the_list"
echo ""
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment