-
Notifications
You must be signed in to change notification settings - Fork 349
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
cli: New --changes-in
argument to jj restore
#1298
Conversation
84f2d0e
to
ff003ba
Compare
99513af
to
142b183
Compare
7c33eaa
to
eceb1aa
Compare
f86eea3
to
5a1aa56
Compare
c7c37a4
to
558e3de
Compare
I thought about this again since it's related to recovery and the message to be printed in #1679. How about something like |
1a4ab3d
to
379caf2
Compare
f622eb8
to
e70ad14
Compare
-r
argument to jj restore
--revision-from-parents
AKA --rp
argument to jj restore
It took me a while to update all the docstrings, hope the result is clear enough. |
By the way, I've been confused by this a lot of times. In my mind, I want to copy some contents over from one revision to another, so I try |
Some options that come to mind:
In any case, I think that's outside the scope of this PR. |
I really like the idea of using a 3-pane diff we talked about in #1905 (comment). One of the advantages of that is we can have the initial state be either the left or the right side. For
Agreed. |
--revision-from-parents
AKA --rp
argument to jj restore
--changes-in
argument to jj restore
Also updates docstrings for `diffedit`, `abandon` in related ways. The changes are a bit too intertwined to comfortable split into a separate commit.
This argument can restore a merge commit to the merge of its parents. This allows one to apply the default behavior of
jj restore
to another commit. In other words,jj restore
without arguments is equivalent tojj restore -c @
.Original description (before switching
-r
=>--rp
)The title was "cmd: Add
-r
argument to `jj restoreThe interface is now similar to
jj diffedit
,jj diff
, etc.Checklist
If applicable:
CHANGELOG.md