Skip to content

Conversation

@danlapid
Copy link
Collaborator

@danlapid danlapid commented Dec 31, 2025

There's an internal PR to follow but this should be non-controversial and easy to merge independently.

@danlapid danlapid requested review from a team as code owners December 31, 2025 22:25
@danlapid danlapid enabled auto-merge December 31, 2025 22:27
@danlapid danlapid merged commit 66291c9 into main Jan 1, 2026
30 of 33 checks passed
@danlapid danlapid deleted the dlapid/request_reportInternalException branch January 1, 2026 06:43
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