[patcg.github.io] Merged Pull Request: Individual area

AramZS has just merged ekr's pull request 15 for https://github.com/patcg/patcg.github.io:

== Individual area ==
Here is an alternate proposal that *just* creates an individual space, with both addition and removal at the discretion of the chairs. I changed this from consensus to remove because it seems weird to have the chairs have discretion to adopt but not to remove and the primary reason for removal will be if it's just clearly out of scope.

I see that I've also removed the proposed principles for adoption. Those seem potentially reasonable but belong in another PR.


See https://github.com/patcg/patcg.github.io/pull/15


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Thursday, 7 April 2022 15:41:55 UTC