diff --git a/ci/dependabot-pr.sh b/ci/dependabot-pr.sh index 3ce48fe52..fe3b7469a 100755 --- a/ci/dependabot-pr.sh +++ b/ci/dependabot-pr.sh @@ -36,3 +36,4 @@ git push origin "HEAD:$branch" echo "Source branch is updated; failing this build for the next" exit 1 +