On July 28, 2024 9:39:10 AM MDT, Stefan Sperling <stsp@stsp.name> wrote:
>On Fri, Jul 26, 2024 at 12:04:49PM +0200, Omar Polo wrote:
>> On 2024/07/26 11:51:41 +0200, Omar Polo <op@omarpolo.com> wrote:
>> > This was requested some time ago on the IRC channel.  The idea is to
>> > load another special file to fill the "owner" field of the repository.
>> > I've choosen to give the priority to the file rather than what's in the
>> > git config.
>> 
>> now with the man bits.
>
>ok
>
>The man page should mention that the owner file takes priority if present.
>

Man Page should say an owner file, not a owner file.


-- 
Tracey Emery
Sent from my phone.