Hello, if it's not too late for the release, I think it would be good to adjust ".mailmap" to avoid duplicates in the generated AUTHORS file (if it's too late, it would be good anyway).
As you can check with "git --no-pager shortlog -nse", there are some duplicates in the output (double names or emails for the same person). This output is used to generate AUTHORS file in release tarballs. So to disambiguate this, I would like to ask the people what are their preference: - Alex: <[email protected]> or <[email protected]>? - Ben: "Ben Woodcroft" or "Ben J Woodcroft"? - Daniel: <[email protected]> or <[email protected]>? - David: <[email protected]>, right? (you have one commit with <address@hidden>) - Ivan: "Ivan Vilata-i-Balaguer" or "Ivan Vilata i Balaguer"? - Jeff: <[email protected]> or <[email protected]>? - John: "John J. Foerch" or "John J Foerch"? - Marek: <[email protected]> or <[email protected]>? - Marius: <[email protected]> or <[email protected]>? - Pjotr: <[email protected]> or <pjotr.public12@email>? - Thomas: <[email protected]> or <[email protected]>? - Vincent: <[email protected]> or <[email protected]>? Please do not Cc other people in your answer, just reply to <[email protected]>, thanks! -- Alex
