In our last meeting, we talked about potentially changing the time of future meetings. Here is a doodle poll: I've kept it focused on Thursdays, which may not have been the right call, but I thought I'd try that first.
Please fill it out, thanks!
Thursdays is imo the right call unless we also move other meetings; (as I noted before, I already have 3 meeting days and I want to move towards 2, not 4)
Looks like Thu at 11 is a winner, though this overlaps with the UCG meeting. I was hoping Josh Tripplet would fill this out, though (he said he would).
@T-lang/WG-meta I created a calendar event for the next meeting, it includes a Zoom link
@nikomatsakis waiting for you :slight_smile:
Hey @T-lang/WG-meta, sorry, running slow, zoom link