Skip to content

Commit 53ef64c

Browse files
committed
Merge PR #306: README is not an overlay.
2 parents 072073f + 30d3407 commit 53ef64c

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

src/actions.ml

+3-1
Original file line numberDiff line numberDiff line change
@@ -2187,7 +2187,9 @@ let rec merge_pull_request_action ~bot_info ?(t = 1.) comment_info =
21872187
if
21882188
string_match ~regexp:"dev/ci/user-overlays/\\(.*\\)"
21892189
f
2190-
then Str.matched_group 1 f :: acc
2190+
then
2191+
let f = Str.matched_group 1 f in
2192+
if String.equal f "README.md" then acc else f :: acc
21912193
else acc )
21922194
with
21932195
| [] ->

0 commit comments

Comments
 (0)