09:56
<eemeli>

Should the following intl proposal repos be archived?

The first two have reached Stage 4, while the last was effectively superseded by NumberFormat v3.

16:25
<Chris de Almeida>
def the stage 4 ones
18:01
<Michael Ficarra>
the stage 1 one should be formally withdrawn if it's been superseded
18:05
<eemeli>
Is the formal withdrawal something that needs to be proposed by the champion, or any delegate?
18:27
<Michael Ficarra>
🤷‍♂️ dunno, but probably anybody can do it
20:49
<ljharb>
if it’s uncontroversial you can just update the proposals repo, and mention it next plenary, i think
20:55
<eemeli>
Zibi (the proposal's champion) was on today's TG2 call, and I gather that the request to withdraw it will be included in the TG2 update at plenary.
20:55
<Chris de Almeida>

Is the formal withdrawal something that needs to be proposed by the champion, or any delegate?

mostly depends if the champion(s) are active and/or reachable

but anyone can technically propose it. it should be formally on the meeting agenda to withdraw it

20:56
<Chris de Almeida>
given that Zibi just made a commit to the repo saying it's deprecated in favor of Unified Intl.NumberFormat, seems safe for anyone to put it on the agenda for the upcoming meeting
20:57
<eemeli>
(I'll miss the next plenary, so not available to submit an agenda item for the withdrawal.)
20:58
<Chris de Almeida>
you can put my name down on it if you don't mind creating the PR
20:58
<eemeli>
Sure, will do.
21:04
<eemeli>
Done. Adding the item increases the total timeboxed time by over 4%, from 70 to 73 minutes.