diff options
| author | Théo Zimmermann | 2020-05-23 13:19:26 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-23 13:19:26 +0200 |
| commit | dbefe0718913318b20d2c56e2ed026c638897a26 (patch) | |
| tree | 0f59e8edb6a40e7cadc250e66c04dc1ac6d90800 /dev/tools/backport-pr.sh | |
| parent | 59e7a45961a1ee1755df02512120c0b5bafe08ce (diff) | |
[dev/tools] Fix #12314: do not die silently if branch has no remote.
Diffstat (limited to 'dev/tools/backport-pr.sh')
| -rwxr-xr-x | dev/tools/backport-pr.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/tools/backport-pr.sh b/dev/tools/backport-pr.sh index b1d2fd656a..3fdc82b81b 100755 --- a/dev/tools/backport-pr.sh +++ b/dev/tools/backport-pr.sh @@ -30,7 +30,7 @@ while [[ $# -gt 0 ]]; do esac done -REMOTE=$(git config --get "branch.master.remote") +REMOTE=$(git config --get "branch.master.remote" || true) if [ -z "$REMOTE" ]; then echo "Branch master has no remote. Using the local state of the master branch instead." MASTER=master |