From 5a2451fb9a7e939ed53e4598350b67667056786a Mon Sep 17 00:00:00 2001
From: Matthias Beyer <mail@beyermatthias.de>
Date: Sun, 9 Oct 2022 09:20:36 +0200
Subject: [PATCH] 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 <mail@beyermatthias.de>
---
 bors.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bors.toml b/bors.toml
index 32b49e4b..c50591c5 100644
--- a/bors.toml
+++ b/bors.toml
@@ -3,7 +3,7 @@ status = [
     "CI"
 ]
 
-cut_body_after = "---"
+cut_body_after = "<details>"
 
 delete_merged_branches = true