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

Publish minutes of 2024-03-18 - 2024-03-20 meetings in San Diego #599

Merged
merged 1 commit into from
Apr 23, 2024

Conversation

Rob--W
Copy link
Member

@Rob--W Rob--W commented Apr 18, 2024

Generated from https://docs.google.com/document/d/1iwpw4ljRLxcCLKInxsgvQ-6kedIXX57nBJ84oUsgK-8/edit using the tool and process from #105. I manually fixed up the formatting of a code that appeared on the third day.

The WECG met in-person for three days on 2024-03-18 (#525). We discussed 66 issues, and also topics that don't even have an issue. This PR adds the minutes of the discussed topics on these days.

During the meetings on Monday, 18 march 2024, we discussed or mentioned issues #525, #128, #1, #7, #9, #12, #14, #274, #336, #483, #252, #319, #231, #318, #44, #134, #162, #493, #24, #25, #21, #387, #38, #40, #541, #69, #98, #99.
During the meetings on Tuesday, 19 march 2024, we discussed or mentioned issues #525, #493, #468, #394, #362, #529, #123.
During the meetings on Wednesday, 20 march 2024, we discussed or mentioned issues #525, #477, #565, #77, #229, #570, #573, #12, #91, #90, #34, #26, #244, #272, #301, #382, #326, #279, #250, #101, #138, #466, #441, #58, #87, #467, #179, #449, PR #562, #440, #439, #342, PR #543, #191, #457.

For ease of readability, I have also listed the issue numbers along with their titles below.

List of covered topics, issue numbers + titles

Monday 18 march 2024

Tuesday 19 march 2024

Wednesday 20 march 2024

Copy link
Member

@oliverdunk oliverdunk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks Rob!

Copy link
Member

@dotproto dotproto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Thanks for putting this PR together, @Rob--W!

@Rob--W Rob--W merged commit 28d0361 into main Apr 23, 2024
1 check passed
@Rob--W Rob--W deleted the meeting-2024-03-18-2024-03-20-san-diego branch April 23, 2024 14:35
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.

4 participants