Skip to content

Conversation

@benjie
Copy link
Member

@benjie benjie commented Apr 3, 2025

Todays agenda was massive, so I've restructured it:

  • grouped together my editorial PRs
  • grouped together Martin's editorial PRs
  • with Martin's permission moved a few of his items to the end as a "call for async feedback"
  • grouped Martin and my "before execution begins" solutions and will present them together
  • tried to vary the speaker for fairness
  • moved announcements to the top
  • indicated how close some of these are to merging
  • implemented standard formatting for the items
  • removed reviewing of agenda items

@benjie benjie merged commit 3e269d3 into main Apr 3, 2025
2 checks passed
@benjie benjie deleted the reorder branch April 3, 2025 11:02
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.

2 participants