Let bors cut body after <details>

This was set to "---" because I thought it would make life easier for contributors to use the markdown line "---". It turned out, though, that dependabot uses a "<details>" tag and puts a lot of HTML in there. We really don't want that in our merge messages. So this patch changes bors configuration to cut the merge message after the "<details>" tag. Signed-off-by: Matthias Beyer <[email protected]>
rust-cli · Oct 9, 2022 · 5a2451f · 5a2451f
1 parent 2151dab
commit 5a2451f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bors.toml b/bors.toml
@@ -3,7 +3,7 @@ status = [
     "CI"
 ]
 
-cut_body_after = "---"
+cut_body_after = "<details>"
 
 delete_merged_branches = true