On 2024-Oct-31, Daniel Gustafsson wrote: > When looking at our Git tree for a recent conference presentation I happened > to > notice that we have recently gained duplicate names in the shortlog. Not sure > if we care enough to fix that with a .mailmap, but if we do the attached diff > makes sure that all commits are accounted for a single committer entry.
LGTM. I'd also add this line while at it: Peter Eisentraut <pe...@eisentraut.org> <pete...@gmx.net> This takes care of all the duplicate "identities" in the history AFAICT. -- Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/ "No me acuerdo, pero no es cierto. No es cierto, y si fuera cierto, no me acuerdo." (Augusto Pinochet a una corte de justicia)
