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