is there an agenda for the steering meeting today?
boy I sure do hope I wasn't supposed to make one
There was some discussion yesterday about talking about 'tcx/'gcx stuff from @eddyb -- I don't think there was much other than that
I guess talking about that would be fine
(we could also go through the I-nominated issues/PRs that I missed yesterday.... :wink: )
I don't know if @eddyb or @Zoxc are around but maybe they're also not entirely necessary? Not sure.
Hi all :)
The agenda is a planning meeting
But we could deviate :)
But I'm not sure I'd want to
oh today is a planning meeting!
wait is that the one where there are supposed to already be PR's with proposals?
/me goes to review the protocol.
(i think protocol is described here: https://gist.github.com/nikomatsakis/3afbec52758741727e4535d973bb0667 )
@nikomatsakis where is the permanent home describing the structure of these meetings? Surely its not the gist above, right?