Given that there may be multiple W3C Councils operating at any given moment, there are a number of occurrences of the W3C Council which should be replaced by a W3C Council.
The Revising W3C Process CG just discussed "The W3C Council" should often be "A W3C Council", and agreed to the following:
RESOLVED: Merge PR #719
The full IRC log of that discussion
<fantasai> florian: Ted correctly pointed out that we talk about "the Council", but there can be multiple councils, so should be more correct to talk about "a Council" in many cases
<fantasai> ... PR attempts to fix this, has some review including from Ted
<fantasai> -> https://github.com/w3c/w3process/issues/720
<joshco_> +q
<plh> ack josh
<fantasai> s/-> https://github.com/w3c/w3process/issues/720//
<fantasai> -> https://github.com/w3c/w3process/issues/719
<fantasai> florian: [explains the PR]
<fantasai> joshco_: I thought there was a standing council
<fantasai> florian: no, all councils are temporary, and there might be multiple existing in parallel
<fantasai> florian: anyway, that's the PR. If there's some debate, let's debate in GH, but otherwise that's it
<fantasai> plh: Any objection to merge this PR?
<fantasai> RESOLVED: Merge PR #719
<fantasai> [we interrupt this regularly-scheduled program to make a round of introductions for JenStrickland who just joined]
_Originally posted by @TallTed in https://github.com/w3c/w3process/pull/702#discussion_r1094906484_
Given that there may be multiple
W3C Councils
operating at any given moment, there are a number of occurrences ofthe W3C Council
which should be replaced bya W3C Council
.