git-pr-merge should detect when CI is still running and wait for it to complete successfully before merging. It could also check the CI status before trying to merge and error out if CI has failed, rather than relying on github to fail the merge. Perhaps this needs an override to force the merge if the failing CI check is not required.
git-pr-mergeshould detect when CI is still running and wait for it to complete successfully before merging. It could also check the CI status before trying to merge and error out if CI has failed, rather than relying on github to fail the merge. Perhaps this needs an override to force the merge if the failing CI check is not required.