Zulip Chat Archive
Stream: mathlib4
Topic: When will bors auto-generate co-author information?
Wen Yang (Feb 16 2024 at 02:22):
I am sorry that the merge of #7273 didn't mention @Winston Yin (尹維晨) and @Johan Commelin .
Lately I thought that the bors auto-generated co-author information, but it did not work this time.
Wen Yang (Feb 16 2024 at 02:59):
Perhaps the bors only check who commits the code and do not check the co-author information in the commit message?
Wen Yang (Feb 16 2024 at 03:04):
For example, Winston Yin suggested some changes and then I accepted them, so I was the one who committed the code, and the bors did not add him to the commit message when the PR was merged into the master branch.
Johan Commelin (Feb 16 2024 at 04:14):
@Wen Yang I don't personally care about the co-author information. So don't sweat about it.
Last updated: May 02 2025 at 03:31 UTC