Closed matthiasbeyer closed 2 years ago
bors merge
Running into #70 here I guess
This bug is super annoying. I don't know what to do to reproduce it. I tried to run it directly on my machine, inside an Ubuntu 20.04 VM, as well as trying to run it inside an Ubuntu 20.04 container, looping 1000x each, and it never reproduced for me.
bors merge
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.