Skip to content

Conversation

@wujingyue
Copy link
Collaborator

@wujingyue wujingyue commented Jan 4, 2026

My bad -- it was in #2799

@wujingyue
Copy link
Collaborator Author

cc @KaelanDt

@wujingyue wujingyue enabled auto-merge (squash) January 4, 2026 18:40
@KaelanDt KaelanDt disabled auto-merge January 4, 2026 19:55
@KaelanDt KaelanDt merged commit 8236d1c into main Jan 4, 2026
51 checks passed
@KaelanDt KaelanDt deleted the wjy/typo branch January 4, 2026 19:56
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