Skip to content

Conversation

@hauten
Copy link
Collaborator

@hauten hauten commented Dec 17, 2025

Some pre- and post-shutdown posts to bring the page up to December

@hauten hauten requested a review from a team as a code owner December 17, 2025 20:45
@hauten hauten requested review from becker33 and removed request for a team December 17, 2025 20:45
@hauten
Copy link
Collaborator Author

hauten commented Dec 18, 2025

Greg, the PR automatically assigned you to review but you don't need to. I'll merge it.

@hauten hauten merged commit dcf0be0 into main Dec 18, 2025
2 checks passed
@hauten hauten deleted the dec-news branch December 18, 2025 21:23
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