RFC 8874 is an informational document discussing wg policies for using GitHub. It does not say GitHub "is supposed to be" used for collaborative editing, let alone "IS SUPPOSED TO BE". There is no suggestion that it is the only way to do that.
Actually, the process described there is, while more collaborative than previous approaches, not fully collaborative in that there is an editor who is assumed to be the editor of the corresponding working group document.
On Sun, Sep 19, 2021, 1:31 AM Lloyd W <lloyd.wood=40yahoo.co.uk@xxxxxxxxxxxxxx> wrote:
> On 16 Sep 2021, at 18:32, Mark Nottingham <mnot@xxxxxxxx> wrote:
>
> the purpose of the tool is collaborative editing, NOT long-term reference
I thought github was the tool that the IETF was supposed to use to do collaborative editing? See RFC8874.
Lloyd Wood
lloyd.wood@xxxxxxxxxxx
wondering what the IETF mandated editor is.
