Martin von Zweigbergk d481001271 commands: add a jj git push command ... This commit starts adding support for working with a Jujube repo's underlyng Git repo (if there is one). It does so by adding a command for pushing from the Git repo to a remote, so you can work with your anonymous branches in Jujube and push to a remote Git repo without having to switch repos and copy commit hashes. For example, `jj git push origin main` will push to the "main" branch on the remote called "origin". The remote name (such as "origin") is resolved in that repo. Unlike most commands, it defaults to pushing the working copy's parent, since it is probably a mistake to push a working copy commit to a Git repo. I plan to add more `jj git` subcommands later. There will probably be at least a command (or several?) for making the Git repo's refs available in the Jujube repo.		2020-12-27 00:59:05 -08:00
..
protos	protobuf: generate code at build-time	2020-12-24 01:05:17 -08:00
src	commands: add a jj git push command	2020-12-27 00:59:05 -08:00
tests	evolution: fix it so pruned commits can be divergent	2020-12-23 18:01:01 -08:00
build.rs	protobuf: generate code at build-time	2020-12-24 01:05:17 -08:00
Cargo.toml	git_store: use exponential backoff when retrying note-writing	2020-12-24 23:22:07 -08:00