Zulip Chat Archive

Stream: general

Topic: PR commit messages


view this post on Zulip 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.

view this post on Zulip Patrick Massot (Apr 13 2020 at 20:22):

Oh, so this PR template now has some use!

view this post on Zulip 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.

view this post on Zulip 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: May 11 2021 at 22:14 UTC