Add the cut_body_after field to bors.toml

... so that the PR checklist is ignored in the merge commit message.
IntersectMBO · Jun 19, 2022 · a10ba42 · a10ba42
1 parent 40cb907
commit a10ba42
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bors.toml b/bors.toml
@@ -7,3 +7,4 @@ timeout_sec = 7200
 required_approvals = 1
 block_labels = [ "WIP", "DO NOT MERGE" ]
 delete_merged_branches = true
+cut_body_after = "# Checklist"