Martin von Zweigbergk a41fcb39eb repo: respect workspace ID for old checkout (#13) ... When checking out a new commit, we look at the old checkout to see if it's empty so we should abandon it. We current use the default workspace's checkout. We need to respect the workspace ID we're given in `MutableRepo::check_out()`, and we need to be able to deal with that workspace not existing yet (i.e. this being the first checkout in that workspace).		2022-02-02 08:15:22 -08:00
..
benches	project: rename project from Jujube to Jujutsu	2021-05-15 10:28:40 -07:00
protos	working_copy: keep track of workspace ID (#13)	2022-02-02 08:15:22 -08:00
src	repo: respect workspace ID for old checkout (#13)	2022-02-02 08:15:22 -08:00
tests	repo: respect workspace ID for old checkout (#13)	2022-02-02 08:15:22 -08:00
build.rs	rustfmt: configure to group imports	2021-03-14 10:46:25 -07:00
Cargo.toml	cargo: upgrade to Rust 2021 (just to stay up to date)	2021-12-13 21:47:00 -08:00