>>>>> On Mon, 27 Jun 2022 17:53:30 +0800, Ihor Radchenko <[email protected]>
>>>>> said:
Ihor> Robert Pluim <[email protected]> writes:
>> diff --git a/org-contribute.org b/org-contribute.org
Ihor> Maybe add the details to org-maintenance.org instead?
Ihor> This is more of a technical detail needed for maintainers, not for the
Ihor> committers.
Iʼd be worried if the org maintainer(s) didnʼt know how to override
Author :-)
Occasional committers would probably not read org-maintenance.org, and
those are the people this section is aimed at, I think. Plus itʼs the
kind of thing you need to catch early: once the commit has been pushed
itʼs too late.
>> +1. Command line: src_sh{git commit --author='First Last
<[email protected]>'}
Ihor> I think we usually prefer source blocks to inline source blocks.
OK, changed.
>> +2. =VC=: Set the 'Author:' field in log-edit mode (requires setting
>> + `log-edit-setup-add-author').
Ihor> 'Author:' -> =Author:=
Ihor> `log-edit-setup-add-author' -> ~log-edit-setup-add-author~
OK, changed.
Robert
--
