3 commits

Author	SHA1	Message	Date
Mislav Marohnić	7a289861d2	Name more queries in test stubs	2020-07-10 20:20:33 +02:00
Mislav Marohnić	1ca3d171e6	Tweak HTTP 422 handling when deleting branches	2020-06-30 19:21:39 +02:00
Pavel Borzenkov	3afec6f90a	api: gracefully handle already deleted remote refs ... 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>	2020-06-27 19:10:42 +03:00