Martin von Zweigbergk d555e0c326 git: when fetching, prune refs that have been deleted on the remote ... Otherwise remote-tracking branches just pile up. It seems that both git and libgit2 remove the remote-tracking branch when you push a deletion, so `jj branch --delete foo; jj git push --branch foo` already sees `foo` disappear locally as well. However, if a branch has been deleted on the remote, we would never know before this change.		2021-08-04 23:00:43 -07:00
..
benches	project: rename project from Jujube to Jujutsu	2021-05-15 10:28:40 -07:00
protos	view: add support for ref-based branches and tags to model	2021-08-04 11:33:57 -07:00
src	git: when fetching, prune refs that have been deleted on the remote	2021-08-04 23:00:43 -07:00
tests	git: update own branch and tag records based on git refs	2021-08-04 11:39:07 -07:00
build.rs	rustfmt: configure to group imports	2021-03-14 10:46:25 -07:00
Cargo.toml	cargo: update test-case to 1.2.0 now that frondeus/test-case#66 is fixed	2021-06-28 12:13:14 -07:00