Expand regexp for PR closed errors.

coq · Nov 12, 2020 · 2aaee04 · 2aaee04
1 parent 42bcb0c
commit 2aaee04
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/actions.ml b/src/actions.ml
@@ -184,7 +184,7 @@ let trace_action ~repo_full_name trace =
     Ignore )
   else if
     test "fatal: Remote branch pr-[0-9]* not found in upstream origin"
-    || test "fatal: Couldn't find remote ref refs/heads/pr-"
+    || test "fatal: [Cc]ouldn't find remote ref refs/heads/pr-"
   then (
     Stdio.printf "Normal failure: pull request was closed.\n" ;
     Ignore )