Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update WG-12-14.md #1181

Closed
wants to merge 1 commit into from
Closed

Update WG-12-14.md #1181

wants to merge 1 commit into from

Conversation

rossberg
Copy link
Member

@rossberg rossberg commented Dec 6, 2022

No description provided.

@dschuff
Copy link
Member

dschuff commented Dec 6, 2022

This seems fine to me if enough folks will be available / not on vacation. I think @conrad-watt will be gone already, not sure about @dtig. Do we want to ensure that @ericprud will be available too?

@rossberg
Copy link
Member Author

rossberg commented Dec 7, 2022

Yes, I think this won't make much sense without @ericprud, since he apparently is the only one who understands and controls the process. :)

Happy to push it to the next date if too many people can't make it. That would be the Jan 11th?

@dschuff
Copy link
Member

dschuff commented Dec 7, 2022

Yes, January 11. That date would also work for me, let's see what some other folks say about their availability (I also forgot to @lukewagner in my last post)

@dtig
Copy link
Member

dtig commented Dec 7, 2022

I'll be around for the 14th, but agree with @rossberg that we probably want @ericprud around for the discussion. I'm sometimes unable to participate actively during that time slot, and only have one question re. Wasm 2.0 so I'll just post here. We had previously decided that a CR should go out for every major version bump, is a CR needed for the 2.0 bump? It doesn't look like the previous CR covers the recent changes before the major version change.

@ericprud
Copy link

ericprud commented Dec 8, 2022

The last published version was on 19 April 2022. The evergreen approach allows for arbitrary (capricious) publication of CRs; I believe we said we'd do it whenever a proposal was merged (I don't see any in Finished Proposals) so we might want to gear up for more frequent publication.

@rossberg
Copy link
Member Author

rossberg commented Dec 9, 2022

Actually, it turns out that I myself cannot make it next Wednesday. :-} So let's perhaps push to January.

@dschuff
Copy link
Member

dschuff commented Dec 13, 2022

ok, I'll cancel tomorrow. @ericprud can you let us know how to find out our W3C rep's availability for January?

@ericprud
Copy link

ericprud commented Jan 5, 2023

I just got word that @plehegar will be taking over for me. It would probably make sense for both of us to attend the 11 Jan meeting. Plh, would that work for you?

@plehegar
Copy link

plehegar commented Jan 6, 2023

Yes, I'll be there

@dschuff
Copy link
Member

dschuff commented Jan 9, 2023

I've updated the agenda for Jan 11 in #1192

@Ms2ger Ms2ger closed this Jan 10, 2023
@rossberg rossberg deleted the rossberg-patch-1 branch March 1, 2023 06:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants