Skip to content

Conversation

@newtork
Copy link
Contributor

@newtork newtork commented Jan 7, 2026

This came up while looking at following issue #1054

@newtork newtork added please merge Request to merge a pull request please review Request to review a pull request labels Jan 7, 2026
@newtork newtork enabled auto-merge (squash) January 7, 2026 09:57
@newtork newtork merged commit cc71d55 into main Jan 7, 2026
15 checks passed
@newtork newtork deleted the replace-functions-identity branch January 7, 2026 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

please merge Request to merge a pull request please review Request to review a pull request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants