mirror of
https://github.com/martinvonz/jj.git
synced 2024-09-20 18:29:49 +03:00
working_copy: on finish(), don't serialize checkout if operation_id is unchanged
Maybe it's okay to always save the checkout state, but let's apply the same rule as the previous commit.
This commit is contained in:
parent
a8a3a236b0
commit
dc9a9ed4c1
@ -1207,8 +1207,10 @@ impl LockedWorkingCopy<'_> {
|
||||
if self.tree_state_dirty {
|
||||
self.wc.tree_state_mut().save();
|
||||
}
|
||||
self.wc.operation_id.replace(Some(operation_id));
|
||||
self.wc.save();
|
||||
if self.old_operation_id != operation_id {
|
||||
self.wc.operation_id.replace(Some(operation_id));
|
||||
self.wc.save();
|
||||
}
|
||||
// TODO: Clear the "pending_checkout" file here.
|
||||
self.tree_state_dirty = false;
|
||||
self.closed = true;
|
||||
|
Loading…
Reference in New Issue
Block a user