Make changelog check more reliable.

This commit is contained in:
JAremko 2020-03-05 12:27:24 +02:00 committed by Eugene Yaremenko
parent 550b30c569
commit 32f440f05a
1 changed files with 5 additions and 4 deletions

View File

@ -14,10 +14,11 @@
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
source "${DIR}/shared"
if [[ -z "${CIRCLE_PR_NUMBER// }" ]]; then
echo "Skipping changelogs check for branch update."
exit 0
fi
## This seems to bug out when someone has a CircleCI setup at the source fork.
# if [[ -z "${CIRCLE_PR_NUMBER// }" ]]; then
# echo "Skipping changelogs check for branch update."
# exit 0
# fi
if [[ "$CIRCLE_PR_USERNAME" == "emacspace" ]]; then
echo "Fun fact. Bots can't climb stairs or update CHANGELOG.develop"