> On 18 Sep 2025, at 14:25, Peter Eisentraut <[email protected]> wrote: > > On 18.09.25 10:14, Daniel Gustafsson wrote: >>> On 18 Sep 2025, at 07:02, Corey Huinker <[email protected]> wrote: >>> These have been updated. I'm holding off on releasing the update files >>> pending Daniel sending me a list of known preferred names. I'll release >>> another file after I've integrated that list into my process. >> Thanks for working on this! > > Now is anyone planning to commit this? I can do it if no one else is lined > up.
I was thinking we should wait for more timezones to have a chance to dig into the list before committing. If you want to pick it up since you have a long history of doing the list, feel free, else I can take care of it. >> Previous years notes do not include names where we only know the email >> address, >> not sure what our policy on that is. Personally I think they should be >> included, they are credited in the commitlog so they clearly belong in the >> acknowledgments. > > The policy was that we only included persons whose name we know. The reason > being, if they don't want to be known, then they also don't need to be listed > in the credits. My take would be that if they don't want to be known, they wouldn't have contacted us in the first place. However, if we have a policy in place then sticking to it makes us consistent and consistency is good. -- Daniel Gustafsson
