Skip to content

chore: mechanical rename#26156

Merged
jif-oai merged 3 commits into
mainfrom
jif/mechanical-rename
Jun 3, 2026
Merged

chore: mechanical rename#26156
jif-oai merged 3 commits into
mainfrom
jif/mechanical-rename

Conversation

@jif-oai

@jif-oai jif-oai commented Jun 3, 2026

Copy link
Copy Markdown
Collaborator

Rename Session::conversation_id to Session::thread_id with an auto refactor in RustRover

@jif-oai jif-oai requested a review from a team as a code owner June 3, 2026 12:39
@jif-oai jif-oai merged commit c9ae0f4 into main Jun 3, 2026
31 checks passed
@jif-oai jif-oai deleted the jif/mechanical-rename branch June 3, 2026 13:38
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 3, 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