On 04/11/19 21:59, Philippe Mathieu-Daudé wrote: > On 4/11/19 9:53 PM, Rebecca Cran wrote: >> On 2019-04-11 13:30, Rebecca Cran via Groups.Io wrote: >>> >>> I'm sending emails on Thunderbird via Postfix, so there's no Outlook >>> involved. >>> >> >> Let's try again: I've unset the groups.io fields, so I wonder if that'll >> change things. > > Yes, I see your From address correctly now.
Me too. I stand corrected! :) (It remains a mistery though why the same issue occurred on the old list / with mailman2, multiple times.) > Now, how do we proceed to avoid the same problem with other users? > > IMHO a git pre-push hook on the maintainer side would be easier to maintain. I'd be happy to adopt one. Can you recommend specifics? Also -- can you please describe the problematic groups.io settings again? (I've re-read your previous description now, but it's unclear.) This would be important because Stephano could either take it to the groups.io guys to fix, or add another item to our suggested settings, for when people join the group. Thanks, Laszlo -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#38944): https://edk2.groups.io/g/devel/message/38944 Mute This Topic: https://groups.io/mt/30899017/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
