ok/jj
1
0
Fork 0
forked from mirrors/jj
Code Pull requests Activity

revset: use unstable sort to enforce ordering of commit ids

Browse source 
This wouldn't matter in practice, but there should be no reason to stick
to stable sort.
This commit is contained in:
Yuya Nishihara 2023-03-25 19:20:15 +09:00
parent bac2de6ac6
commit d04556cf18
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/src/default_revset_engine.rs
View file

@ -717,7 +717,7 @@ fn revset_for_commit_ids<'index>(
for id in commit_ids { for id in commit_ids {
index_entries.push(index.entry_by_id(id).unwrap()); index_entries.push(index.entry_by_id(id).unwrap());
} }
index_entries.sort_by_key(|b| Reverse(b.position())); index_entries.sort_unstable_by_key(|b| Reverse(b.position()));
index_entries.dedup(); index_entries.dedup();
Box::new(EagerRevset { index_entries }) Box::new(EagerRevset { index_entries })
} }