mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2025-01-18 18:27:38 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

MutableRepo: in fast-path for adding head, simply remove parent heads

Browse source
This commit is contained in:
Martin von Zweigbergk 2021-03-15 15:26:09 -07:00
parent 2c92fca75a
commit 3ecb4ec16b
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
lib/src/repo.rs
View file

@ -635,7 +635,9 @@ impl<'r> MutableRepo<'r> {
{ {
self.index.add_commit(head); self.index.add_commit(head);
self.view.add_head(head.id()); self.view.add_head(head.id());
self.enforce_view_invariants(); for parent_id in head.parent_ids() {
self.view.remove_head(&parent_id);
}
if let Some(evolution) = self.evolution_mut() { if let Some(evolution) = self.evolution_mut() {
evolution.add_commit(head) evolution.add_commit(head)
} }