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: <alex.sassmannshau...@gmail.com> or <a...@pompo.co>? - Ben: "Ben Woodcroft" or "Ben J Woodcroft"? - Daniel: <d...@d4n1.org> or <d...@member.fsf.org>? - David: <david.ha...@dhashe.com>, right? (you have one commit with <address@hidden>) - Ivan: "Ivan Vilata-i-Balaguer" or "Ivan Vilata i Balaguer"? - Jeff: <j...@codemac.net> or <j...@igneous.io>? - John: "John J. Foerch" or "John J Foerch"? - Marek: <dus...@gmx.com> or <merku...@gmail.com>? - Marius: <mba...@fastmail.com> or <m.ba...@warwick.ac.uk>? - Pjotr: <pjotr.publi...@thebird.nl> or <pjotr.public12@email>? - Thomas: <thomas.dancka...@gmail.com> or <p...@thomasdanckaert.be>? - Vincent: <vincent.leg...@gmail.com> or <vincent.leg...@idgrilles.fr>? Please do not Cc other people in your answer, just reply to <guix-devel@gnu.org>, thanks! -- Alex
