Martin von Zweigbergk e14db781b0 git: add subcommand for fetching from remote ... This adds `jj git fetch` for fetching from a git remote. There remote has to be added in the underlying git repo if it doesn't already exist. I think command will still be useful on typical small projects with just a single remote on GitHub. With this and the `jj git push` I added recently, I think I have enough for my most of my own interaction with GitHub.		2021-01-01 11:11:09 -08:00
..
test_bad_locking.rs
test_commit_builder.rs
test_commit_concurrent.rs	tests: clarify a test slightly by moving assertion of out helper	2020-12-29 23:37:09 -08:00
test_diff_summary.rs
test_evolution.rs	evolution: fix it so pruned commits can be divergent	2020-12-23 18:01:01 -08:00
test_git.rs	git: add subcommand for fetching from remote	2021-01-01 11:11:09 -08:00
test_index.rs
test_init.rs	init: add support for creating new repo backed by bare git repo in .jj/git/	2020-12-28 00:54:03 -08:00
test_merge_trees.rs
test_operations.rs
test_transaction.rs	transaction: make sure set of heads has only heads	2020-12-29 20:44:17 -08:00
test_view.rs
test_working_copy.rs	working_copy: fix test to show that already tracked files are not ignored	2020-12-22 10:03:42 -08:00
test_working_copy_concurrent.rs