Re: [gentoo-project] [PATCH 6/6] glep-0039: Projects need not have a lead

["Robin H. Johnson" <robbat2@gentoo.org>]

[-- Attachment #1: Type: text/plain, Size: 1201 bytes --]

On Fri, Nov 25, 2022 at 07:20:32PM +0100, Ulrich Müller wrote:
> -   *  It may have one or many leads, and the leads are
> -      selected by the members of the project.  This selection must
> -      occur at least once every 12 months, and may occur at any
> -      time.
> +   *  It should have at least one lead, and the leads are selected by
> +      the members of the project.  This selection must occur at least
> +      once every 12 months, and may occur at any time.

The subject line buries the lede here ;-).

If the GLEPs are trying to follow RFC 2119 language semantics.

"SHOULD" is "recommended"
"MAY" is "truly optional"

How about this, again in line with RFC 2119 (formatted for ease of discussion):
==
It is recommended that projects have at least one lead. 
It is recommended that leads are selected by members of the project.
Lead selection may occur at any time.
Lead selection is required to occur least once every 12 months.
==

-- 
Robin Hugh Johnson
Gentoo Linux: Dev, Infra Lead, Foundation Treasurer
E-Mail   : robbat2@gentoo.org
GnuPG FP : 11ACBA4F 4778E3F6 E4EDF38E B27B944E 34884E85
GnuPG FP : 7D0B3CEB E9B85B1F 825BCECF EE05E6F6 A48F6136

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 1113 bytes --]