Github is supplanting nuanced mailing list discussion, and leads to siloed (re)invention of unneeded problems without broader oversight. I'm all for banning Github. Lloyd Wood lloyd.wood@xxxxxxxxxxx "we're doing the wrong thing, but the way we do it is efficiently distributed!" > On 17 Mar 2024, at 12:41, John C Klensin <john-ietf@xxxxxxx> wrote: > > So, btw and IMO are discussions on the tools list about ways to > make Github more or less efficient for document review and > whether it is time to prohibit some I-D preparation tools or > formats.
