Skip to content

Conversation

@jakebailey
Copy link
Member

Fixes #2406, I think...

@github-actions
Copy link
Contributor

github-actions bot commented Feb 9, 2026

Thanks for the PR!

This section of the codebase is owned by @saschanaz - if they write a comment saying "LGTM" then it will be merged.

@saschanaz
Copy link
Collaborator

LGTM, thanks! My bad 🤦🏻‍♀️

@jakebailey jakebailey merged commit 8f8c168 into microsoft:main Feb 9, 2026
2 checks passed
@jakebailey jakebailey deleted the fix-2406 branch February 9, 2026 19:57
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.

pushManager is missing from ServiceWorkerRegistration

2 participants