Martin von Zweigbergk 1f27a78957 view: make remove_head() not add parents as heads ... I think it's better to let the caller decide if the parents should be added. One use case for removing a head is when fetching from a Git remote where a branch has been rewritten. In that case, it's probably the best user experience to remove the old head. With the current semantics of `View::remove_head()`, we would need to walk up the graph to find a commit that's an ancestor and for each commit we remove as head, its parents get temporarily added as heads. It's much easier for callers that want to add the parents as heads to do that.		2021-01-15 01:08:05 -08:00
..
protos	view: start tracking git refs	2021-01-10 20:13:22 -08:00
src	view: make remove_head() not add parents as heads	2021-01-15 01:08:05 -08:00
tests	view: make remove_head() not add parents as heads	2021-01-15 01:08:05 -08:00
build.rs	protobuf: generate code at build-time	2020-12-24 01:05:17 -08:00
Cargo.toml	cargo: release 0.1.1	2021-01-03 23:06:46 -08:00