mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2024-12-24 20:54:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

repo: remove obsolete part of a TODO (we use the index to filter out non-heads)

Browse source
This commit is contained in:
Martin von Zweigbergk 2021-03-16 23:55:20 -07:00
parent 30cd94f842
commit 07c2b2316f
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
lib/src/repo.rs
View file

@ -619,8 +619,8 @@ impl<'r> MutableRepo<'r> {
fn enforce_view_invariants(&mut self) {
let view = self.view.store_view_mut();
// TODO: This is surely terribly slow on large repos, at least in its current
// form. We should make it faster (using the index) and avoid calling it in
// most cases (avoid adding a head that's already reachable in the view).
// form. We should avoid calling it in most cases (avoid adding a head that's
// already reachable in the view).
view.public_head_ids = self
.index
.heads(view.public_head_ids.iter())