[AAE-2570] prepare script to change name development to develop (#5675)

* prepare script to change name development to develop

* travis for develop
This commit is contained in:
Eugenio Romano
2020-05-06 11:23:01 +01:00
committed by GitHub
parent 94e2e83e73
commit e139b4c218
6 changed files with 12 additions and 12 deletions

View File

@@ -25,8 +25,8 @@ then
exit 0
fi
hash1=$(git show-ref --heads -s development)
hash2=$(git merge-base development $BRANCH_NAME)
hash1=$(git show-ref --heads -s develop)
hash2=$(git merge-base develop $BRANCH_NAME)
[ "${hash1}" = "${hash2}" ] && echo "Branch up to date" || { echo "Branch needs to be rebeased"; exit 1; }
echo "Development branch HEAD sha " $hash1