On 08/03/2019 20:58, Igal Sapir wrote: > I got some GitHub notifications and they have the following header: > > From: Mark Thomas <[email protected]> > > If someone with permissions can change that please.
That is standard GitHub behaviour. The name is set to the name of whichever user made the change that you are being notified of. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
