anomalyco/opencode
1
0
Fork 0
mirror of https://github.com/anomalyco/opencode.git synced 2026-07-22 18:25:32 -04:00
Code Issues 5.9k Packages Projects Releases 19 Wiki Activity

[PR #4923] fix: edit tool error after undo #11175

New Issue
Open
opened 2026-02-16 18:15:58 -05:00 by yindo · 0 comments
yindo commented 2026-02-16 18:15:58 -05:00
Owner
Copy Link
Copy Source

Original Pull Request: https://github.com/anomalyco/opencode/pull/4923

State: open
Merged: No

Prevents unnecessary read/write cycles when editing files after undo / redo.
From edit -> error "modified externally" -> read -> edit (extra read and edit in context + extra time) to just edit.

  • Update FileTime for reverted files in revert() and unrevert() so the edit tool sees them as freshly read rather than externally modified

*Restoring the old read time would be more semantically correct but adds complexity without functional benefit.

**Original Pull Request:** https://github.com/anomalyco/opencode/pull/4923 **State:** open **Merged:** No --- Prevents unnecessary read/write cycles when editing files after undo / redo. From `edit -> error "modified externally" -> read -> edit` (extra read and edit in context + extra time) to just `edit`. - Update FileTime for reverted files in `revert()` and `unrevert()` so the edit tool sees them as freshly read rather than externally modified *Restoring the old read time would be more semantically correct but adds complexity without functional benefit.
yindo added the pull-request label 2026-02-16 18:15:58 -05:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
acp
bad
bug
discussion
docs
documentation
enhancement
extension
good first issue
growth
help-wanted
mcp
model-problem
needs:compliance
nix
opentui
perf
pull-request
Mirrored from GitHub Pull Request
 tui
web
windows
zen
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
yindo
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: anomalyco/opencode#11175
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?