Merge PR #306: README is not an overlay.

coq · Jul 5, 2024 · 53ef64c · 53ef64c
2 parents 072073f + 30d3407
commit 53ef64c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/actions.ml b/src/actions.ml
@@ -2187,7 +2187,9 @@ let rec merge_pull_request_action ~bot_info ?(t = 1.) comment_info =
                           if
                             string_match ~regexp:"dev/ci/user-overlays/\\(.*\\)"
                               f
-                          then Str.matched_group 1 f :: acc
+                          then
+                            let f = Str.matched_group 1 f in
+                            if String.equal f "README.md" then acc else f :: acc
                           else acc )
                     with
                     | [] ->