From 8c0945db3bb719bf574368e2c01f6678893ee6ca Mon Sep 17 00:00:00 2001
From: Julien Cristau <jcristau@mozilla.com>
Date: Fri, 19 Aug 2022 17:38:36 +0200
Subject: [PATCH] update_android_components: don't create an empty PR if we
 couldn't push

---
 automation/taskcluster/update_android_components.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/automation/taskcluster/update_android_components.sh b/automation/taskcluster/update_android_components.sh
index c6aadd88a..259c038df 100755
--- a/automation/taskcluster/update_android_components.sh
+++ b/automation/taskcluster/update_android_components.sh
@@ -52,7 +52,7 @@ fi
 echo "Pushing branch to GitHub"
 URL="https://${GITHUB_USER}:${GITHUB_TOKEN}@github.com/$GITHUB_USER/$REPO/"
 # XXX git sometimes leaks the URL including the token when the network request failed (regardless of --quiet).
-git push --force --no-verify --quiet "$URL" "$BRANCH" > /dev/null 2>&1 || echo "Failed ($?)"
+git push --force --no-verify --quiet "$URL" "$BRANCH" > /dev/null 2>&1 || { echo "Failed ($?)"; exit 1; }
 
 # Open a PR if needed
 if [[ $(hub pr list --head "$GITHUB_USER:$BRANCH") ]]; then