Some more automation when generating the T-compiler meeting agenda: now adding the unresolved concerns to the team MCPs (to help having a quick overview during the meeting).
The parsing of the MCP concerns is a bit brittle, I'm basically grepping through the comments looking for the markers we introduced in #1747 but I hope it's good enough for now
Some more automation when generating the T-compiler meeting agenda: now adding the unresolved concerns to the team MCPs (to help having a quick overview during the meeting).
Discussed the idea during a meeting on Zulip.
The parsing of the MCP concerns is a bit brittle, I'm basically grepping through the comments looking for the markers we introduced in #1747 but I hope it's good enough for now
r? @ehuss @Mark-Simulacrum
Thanks!