Zulip Chat Archive

Stream: general

Topic: PR commit messages

Yury G. Kudryashov (Apr 13 2020 at 20:02):

@Sebastien Gouezel You shouldn't remove "TO CONTRIBUTORS" from PR description because bors deletes text starting with these words from the commit message.

Patrick Massot (Apr 13 2020 at 20:22):

Oh, so this PR template now has some use!

Yury G. Kudryashov (Apr 13 2020 at 20:29):

It was possible to use PR description for commit messages before by creating a section named "Commit Message" but this was rarely used, and was not in the template.

Yury G. Kudryashov (Apr 13 2020 at 20:29):

I didn't know about this possibility till a few days before we moved to bors.

Last updated: Dec 20 2023 at 11:08 UTC