jj/docs/design
Remo Senekowitsch 36ee36ce78 op: undo: rename to revert
This paves the way for the semantics of `jj undo` and `jj op revert` to
evolve independently. `jj op revert` is going to stay the low-level
command to apply the inverse of any operation. The new name is
consistent with `jj revert`, which applies the inverse of a commit.

`jj undo` on the other hand is planned to become a higher-level command,
which is more similar to, say, Ctrl+Z in typical GUI applications.
Running `jj undo` repeatedly will revert progressively older operations,
allowing the user to walk backwards in time. At the same time, `jj undo`
will lose the abilitly to revert arbitrary operations, to keep its
semantics simple and intuitive.

Related feature request "jj undo ergonomics":
https://github.com/jj-vcs/jj/issues/3700
2025-08-15 21:31:15 +00:00
..
copy-tracking.md docs: put bare URLs in angle brackets 2025-06-07 20:20:47 +00:00
git-submodule-storage.md docs/design: propose submodule storage approach 2023-04-24 14:29:47 -07:00
git-submodules.md WIP docs/design: describe submodule storage ideas and how to judge them 2023-04-24 14:29:47 -07:00
run.md op: undo: rename to revert 2025-08-15 21:31:15 +00:00
sparse-v2.md view: rename workspace "id" to "name" 2025-03-31 03:39:29 +00:00
tracking-branches.md op: undo: rename to revert 2025-08-15 21:31:15 +00:00