Skip to content

Update editor from asully@ to mych@#466

Merged
a-sully merged 1 commit intoWICG:mainfrom
mingyc:editor
Oct 10, 2025
Merged

Update editor from asully@ to mych@#466
a-sully merged 1 commit intoWICG:mainfrom
mingyc:editor

Conversation

@mingyc
Copy link
Contributor

@mingyc mingyc commented Oct 9, 2025 •
edited by pr-preview bot
Loading

@mingyc
Copy link
Contributor Author

mingyc commented Oct 9, 2025

@a-sully

@a-sully a-sully self-requested a review October 9, 2025 17:36
@a-sully a-sully merged commit 9311992 into WICG:main Oct 10, 2025
2 checks passed
github-actions bot added a commit that referenced this pull request Oct 10, 2025
@mingyc @github-actions
chore(rebuild): Update editor from a-sully@ to mingyc@ (#466)
f42ac81 
SHA: 9311992
Reason: push, by @a-sully

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@a-sully a-sully a-sully approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@mingyc @a-sully