Skip to content

Conversation

spier
Copy link
Member

@spier spier commented Nov 29, 2023

This will be merged after the board meeting, which happens tomorrow (2023-11-30).

See the report.

@spier spier added the ⚙️ Type - Meta Improving how we collaborate in this repo is the main focus of this issue / PR label Nov 29, 2023
@spier spier merged commit 30585ca into main Dec 1, 2023
@spier spier deleted the 2023-11-board-report branch December 1, 2023 08:22
rmarting pushed a commit to rmarting/InnerSourcePatterns that referenced this pull request Feb 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

⚙️ Type - Meta Improving how we collaborate in this repo is the main focus of this issue / PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant