updated github_merge_branch.sh

pull/16/head
Hari Sekhon 2 years ago
parent 608abbfcdb
commit 32f88a6dcd

@ -58,7 +58,10 @@ output="$("$srcdir/github_pull_request_create.sh" "$@")"
if [ -n "$output" ]; then
# defined in lib/github.sh
# shellcheck disable=SC2154
url="$(grep -Eom1 "$github_pull_request_url_regex" <<< "$output" || die "Failed to generate Pull Request or couldn't find pull request URL in output")"
url="$(
grep -Eom1 "$github_pull_request_url_regex" <<< "$output" ||
die "Failed to generate Pull Request or couldn't find pull request URL in output"
)"
timestamp "Merging Pull Request $url"
gh pr merge --merge "$url"
echo >&2

Loading…
Cancel
Save