3 commits

Author	SHA1	Message	Date
Oliver Davies	89ef98a15b	git: Update abort message, remove break	2020-05-23 00:02:05 +01:00
Oliver Davies	f98ebdba1e	git: Check for CI status before closing the PR	2020-05-22 23:11:37 +01:00
Oliver Davies	16dd74bfe7	git: Add close-pull-request script	2020-05-22 22:52:12 +01:00