Skip to content

chore: delete empty codex-rs/code file#12440

Merged
bolinfest merged 1 commit intomainfrom
pr12440
Feb 21, 2026
Merged

chore: delete empty codex-rs/code file#12440
bolinfest merged 1 commit intomainfrom
pr12440

Conversation

@bolinfest
Copy link
Collaborator

@bolinfest bolinfest commented Feb 21, 2026

This file was added in #4195, but I think it may have been a mistake?

@bolinfest bolinfest requested a review from pakrym-oai February 21, 2026 08:30
@bolinfest bolinfest enabled auto-merge (squash) February 21, 2026 08:32
@bolinfest bolinfest merged commit f5d7a74 into main Feb 21, 2026
33 checks passed
@bolinfest bolinfest deleted the pr12440 branch February 21, 2026 08:44
@github-actions github-actions bot locked and limited conversation to collaborators Feb 21, 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.

2 participants