Let's take this apart.
We can't and won't stop individuals from developing drafts using github.
Nor can we stop them from posting pointers to those githubs on WG
email lists.
Similarly, we can't and won't stop design teams from using github.
Given the above, I am glad we have documents describing the best
practices for using those.
Also given the above, insisting that if a WG formally wants to use a
repository, they MUST use something different seems really odd. While I
personally would prefer not to use github at all, I think the current
path is the right one for the community.
And more importantly, it is the one the community adopted.
And adopted knowing the constraints.
Yours,
Joel
On 4/22/2020 11:24 AM, Keith Moore wrote:
On 4/22/20 11:02 AM, Miles Fidelman wrote:
Last time I looked, Internet standards were VOLUNTARY standards.
Yes, but we're talking about the tools that /we/ choose (i.e. volunteer)
to use. Nobody's proposing that github be forced to implement IPv6,
the question is only whether IETF should continue to use it if we can't
somehow make it accessible via IPv6.
