updated github_merge_branch.sh

pull/16/head
Hari Sekhon 2 years ago
parent 729c338202
commit 9906b23e6d

@ -57,7 +57,7 @@ output="$("$srcdir/github_pull_request_create.sh" "$@")"
if [ -n "$output" ]; then
url="$(parse_pull_request_url "$output")"
timestamp "Merging Pull Request $url"
timestamp "Merging Pull Request: $url"
gh pr merge --merge "$url"
echo >&2
fi

Loading…
Cancel
Save