README.md is not an overlay

coq · Jul 5, 2024 · 30d3407 · 30d3407
1 parent 8f3d44f
commit 30d3407
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
                     | [] ->