From 30d340791eaa5bcfaefce094c35872dd972f4164 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Fri, 5 Jul 2024 14:58:06 +0200
Subject: [PATCH] README.md is not an overlay

---
 src/actions.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/actions.ml b/src/actions.ml
index 1ccb038b..c493a7db 100644
--- 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
                     | [] ->