Skip to content

Commit fd928cd

Browse files
chore(bors.toml): only cut PR bodies from commit messages if --- starts a line (leanprover-community#34684)
Currently bors cuts the rest of the PR body from the commit message if it contains `---` anywhere in the message, including in formatting markdown tables (cf. leanprover-community#33456 and commit fa0ba71). Adding `\n` here should prevent bors from mangling such messages.
1 parent 0da8435 commit fd928cd

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

bors.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,5 +4,5 @@ timeout_sec = 7200
44
block_labels = ["WIP", "blocked-by-other-PR", "merge-conflict", "awaiting-CI"]
55
delete_merged_branches = true
66
update_base_for_deletes = true
7-
cut_body_after = "---"
7+
cut_body_after = "\n---"
88
max_batch_size = 16

0 commit comments

Comments
 (0)