Option to not include the PR description in the Bors merge commit

#1

Hi,

Would it be possible to add an option to not include the PR description in the bors merge commit?

Often the PR description contains notes for reviewers that are not appropriate for the git history.

I know there's the cut_body_after, but we'd have to remember to make every PR start with the character.

Cheers!

1 Like
#2

You can do cut_body_after = "" and that does the trick