Skip to content

Conversation

@typescript-bot
Copy link
Collaborator

This cherry-pick was triggered by a request on #62641.

Please review the diff and merge if no changes are unexpected.

Copy link
Member

@jakebailey jakebailey left a comment

Choose a reason for hiding this comment

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

Weird commit message from the cherry-picker but I think it's correct still. (I have been manually doing this sort of thing)

@github-project-automation github-project-automation bot moved this from Not started to Needs merge in PR Backlog Oct 20, 2025
@jakebailey
Copy link
Member

Ah, no, CI failure.

@andrewbranch andrewbranch merged commit 050a6f8 into tsgo-port Oct 20, 2025
30 checks passed
@andrewbranch andrewbranch deleted the cherry-pick/62641/tsgo-port branch October 20, 2025 19:51
@github-project-automation github-project-automation bot moved this from Needs merge to Done in PR Backlog Oct 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

For Uncommitted Bug PR for untriaged, rejected, closed or missing bug

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

5 participants