Merge "CI: Use .gitreview to default BRANCH_NAME." into 16

This commit is contained in:
George Joseph 2018-09-13 10:37:07 -05:00 committed by Gerrit Code Review
commit 9db82309d5
1 changed files with 4 additions and 0 deletions

View File

@ -6,6 +6,10 @@ REF_DEBUG=0
DISABLE_BINARY_MODULES=0
source $CIDIR/ci.functions
if [ -z $BRANCH_NAME ]; then
BRANCH_NAME=$(git config -f .gitreview --get gerrit.defaultbranch)
fi
gen_cats() {
set +x
action=$1