On 03/02/18 17:03, Jeremy Harris wrote:
> On 03/02/18 16:55, Andreas Metzler wrote:
>> On 2018-02-03 Jeremy Harris <jgh@???> wrote:
>>> Who is "Vladimir Panteleev <git@???>"
>>> and how did he acquire commit rights?
>>
>> I do not think he has commit rights, this was a github pull request.
>>
>> https://github.com/Exim/exim/pull/61
>
> Thing is, the commits have him listed as committer
> (as well as Author, which I'm not concerned about. Nor the
> actual content changes.)
>
>
> Previouly for commits done using content supplied by other people
> we have set the Author and left the Committer saying who did
> the commit. I'd like that to continue.
It's a header property of the commit and doesn't mean that they have
access to the repository on GitHub. There's nothing to be concerned
about and no reason not to merge commits unmodified in this way.
--
Simon Arlott
