mirror of
https://github.com/martinvonz/jj.git
synced 2024-12-04 13:29:49 +00:00
94e03f5ac8
It's very slow to remove non-heads from the set of heads every time we add an head. For example, in the git.git repo, a no-op `jj git import` takes ~15 s. This patch changes makes us just mark the set of heads dirty when a commit has been added and then we remove non-heads when needed. That cuts down the `jj git import` time to ~200 ms. |
||
---|---|---|
.. | ||
benches | ||
protos | ||
src | ||
tests | ||
build.rs | ||
Cargo.toml |