Skip to content

feat: rename 1#23667

Merged
jif-oai merged 2 commits into
mainfrom
jif/rename-1
May 20, 2026
Merged

feat: rename 1#23667
jif-oai merged 2 commits into
mainfrom
jif/rename-1

Conversation

@jif-oai
Copy link
Copy Markdown
Collaborator

@jif-oai jif-oai commented May 20, 2026

Just a mechanical renaming

@jif-oai jif-oai requested a review from a team as a code owner May 20, 2026 09:56
@jif-oai jif-oai merged commit 9345632 into main May 20, 2026
29 checks passed
@jif-oai jif-oai deleted the jif/rename-1 branch May 20, 2026 10:06
@github-actions github-actions Bot locked and limited conversation to collaborators May 20, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant