3afec6f90a
If a GitHub repo is configured to automatically delete branches after PR is merged, `gh pr merge` fails with error like: failed to delete remote branch: ... (422): 'Reference does not exist' Gracefully handle such case and don't report the error. Signed-off-by: Pavel Borzenkov <pavel.borzenkov@gmail.com> |
||
|---|---|---|
| .. | ||
| client.go | ||
| client_test.go | ||
| pull_request_test.go | ||
| queries_gist.go | ||
| queries_issue.go | ||
| queries_issue_test.go | ||
| queries_org.go | ||
| queries_pr.go | ||
| queries_pr_test.go | ||
| queries_repo.go | ||
| queries_repo_test.go | ||
| queries_user.go | ||