Skip to content

Add board metrics#3342

Merged
ZJvandeWeg merged 3 commits into
mainfrom
add-board-metrics
Jun 11, 2025
Merged

Add board metrics#3342
ZJvandeWeg merged 3 commits into
mainfrom
add-board-metrics

Conversation

@emilieschario
Copy link
Copy Markdown
Contributor

@emilieschario emilieschario commented Jun 11, 2025

Description

This PR does two things:

  • Adds that we should include board metrics in the pre-send email
  • Adds what metrics we have traditionally reported to the board

As I work on expanding the list of what metrics, I want to be thoughtful in having a clear PR that says "This is what we have been doing" vs "This is what I'm proposing we do going forward", so this is my step towards that.

Related Issue(s)

Checklist

  • I have read the contribution guidelines
  • I have considered the performance impact of these changes
  • Suitable unit/system level tests have been added and they pass
  • Documentation has been updated

@emilieschario emilieschario self-assigned this Jun 11, 2025
@emilieschario emilieschario marked this pull request as ready for review June 11, 2025 13:36
Comment thread src/handbook/company/board.md Outdated
@ZJvandeWeg ZJvandeWeg enabled auto-merge June 11, 2025 14:46
@ZJvandeWeg ZJvandeWeg merged commit a38afaa into main Jun 11, 2025
4 checks passed
@ZJvandeWeg ZJvandeWeg deleted the add-board-metrics branch June 11, 2025 15:31
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