From af429a74a46b613cdd01172f6756cee5b4092ad0 Mon Sep 17 00:00:00 2001
From: Oliver Davies <oliver@oliverdavies.uk>
Date: Sat, 23 May 2020 00:12:21 +0100
Subject: [PATCH] git: Add check for CI error

---
 bin/git-close-pull-request | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bin/git-close-pull-request b/bin/git-close-pull-request
index 7439342..d10f8ea 100755
--- a/bin/git-close-pull-request
+++ b/bin/git-close-pull-request
@@ -20,6 +20,7 @@ class ClosesPullRequests
     private $localBranch;
     private $remoteBranch;
 
+    private const CI_ERROR = 'error';
     private const CI_PENDING = 'pending';
     private const CI_SUCCESS = 'success';
 
@@ -37,6 +38,7 @@ class ClosesPullRequests
 
         // TODO: Check for failures, or skip if there is no CI.
         $errors = [
+            self::CI_ERROR => 'Aborting: CI error',
             self::CI_PENDING => 'Aborting: CI pending',
         ];