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.