@@ -63,18 +63,18 @@ if [ "$TRAVIS_BRANCH" == 'master' ]; then
6363 git commit -m ' Update licenses [ci skip]'
6464
6565 git push origin HEAD:$TRAVIS_BRANCH
66- check_success_exit " Unsuccessful push, stopping..."
66+ notify_on_error_exit " MIRROR: Unsuccessful push, stopping..."
6767fi
6868
6969if [ " $TRAVIS_BRANCH " == ' integration' ] || [ " $TRAVIS_BRANCH " == ' master' ] || [ " $TRAVIS_BRANCH " == ' desktop' ] ; then
7070 print_title " Mirror repository"
7171 git remote add mirror https://$GIT_TOKEN @github.com/$GIT_ORG_PRIVATE /moodleapp.git
7272 git fetch -q --unshallow mirror
73- check_success_exit " Unsuccessful fetch of mirror, stopping..."
73+ notify_on_error_exit " MIRROR: Unsuccessful fetch of mirror, stopping..."
7474 git fetch -q origin --depth=100
75- check_success_exit " Unsuccessful fetch of origin, stopping..."
75+ notify_on_error_exit " MIRROR: Unsuccessful fetch of origin, stopping..."
7676 git push -f mirror HEAD:$TRAVIS_BRANCH
77- check_success_exit " Unsuccessful mirror, stopping..."
77+ notify_on_error_exit " MIRROR: Unsuccessful mirror, stopping..."
7878 git push -f mirror --tags
79- check_success_exit " Unsuccessful mirror tags, stopping..."
79+ notify_on_error_exit " MIRROR: Unsuccessful mirror tags, stopping..."
8080fi
0 commit comments