mirror of
https://github.com/martinvonz/jj.git
synced 2024-10-24 23:47:22 +00:00
e14db781b0
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. |
||
---|---|---|
.. | ||
commit.rs | ||
commit_builder.rs | ||
conflicts.rs | ||
dag_walk.rs | ||
evolution.rs | ||
files.rs | ||
git.rs | ||
git_store.rs | ||
index.rs | ||
lib.rs | ||
local_store.rs | ||
lock.rs | ||
matchers.rs | ||
op_store.rs | ||
operation.rs | ||
protos.rs | ||
repo.rs | ||
repo_path.rs | ||
rewrite.rs | ||
settings.rs | ||
simple_op_store.rs | ||
store.rs | ||
store_wrapper.rs | ||
testutils.rs | ||
transaction.rs | ||
tree.rs | ||
tree_builder.rs | ||
trees.rs | ||
view.rs | ||
working_copy.rs |