Skip to content

Conversation

@josephperrott
Copy link
Member

No description provided.

@josephperrott josephperrott added the action: merge The PR is ready for merge by the caretaker label Nov 3, 2025
@alan-agius4 alan-agius4 added the action: cleanup The PR is in need of cleanup, either due to needing a rebase or in response to comments from reviews label Nov 4, 2025
@josephperrott josephperrott removed the action: cleanup The PR is in need of cleanup, either due to needing a rebase or in response to comments from reviews label Nov 4, 2025
@josephperrott josephperrott merged commit 31e50e5 into angular:main Nov 4, 2025
8 checks passed
@josephperrott
Copy link
Member Author

This PR was merged into the repository. The changes were merged into the following branches:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

action: merge The PR is ready for merge by the caretaker

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants