Skip to content

update mmh team profile - #190

Merged
atravitz merged 3 commits into
mainfrom
maint/update_mmh
Oct 20, 2026
Merged

atravitz merged 3 commits into
mainfrom
maint/update_mmh

Conversation

@atravitz

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions

github-actions Bot commented Oct 19, 2026 •

Copy link
Copy Markdown

This PR has been staged at https://5c334f4a.openfe.pages.dev.

It has been updated for commit d1aee30.

@mikemhenry
mikemhenry self-requested a review October 19, 2026 21:38

@mikemhenry mikemhenry left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTY!

@atravitz
atravitz merged commit 2515c91 into main Oct 20, 2026
3 checks passed
@atravitz
atravitz deleted the maint/update_mmh branch October 20, 2026 01:37
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