Oh wait, unless that action was made by Mark. I saw a few messages in a
row and misunderstood.
Please ignore the previous email.
On Fri, Mar 8, 2019 at 12:58 PM Igal Sapir wrote:
> I got some GitHub notifications and they have the following header:
>
> From: Mark Thomas
>
> If someone wit
On 08/03/2019 20:58, Igal Sapir wrote:
> I got some GitHub notifications and they have the following header:
>
> From: Mark Thomas
>
> 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 yo
