Martin von Zweigbergk 7542c484a8 git: pass ssh credentials from ssh-agent on push ... I tried to push a commit from my Jujube repo to GitHub using `jj git push --branch main` and it became clear that we need to pass SSH credentials. This commit hopefully fixes that. I've only made it pass credentials for ssh-agent for now, because that seems to be enough to make it work for me personally. If this commit becomes visible on GitHub, it should mean that it worked.		2021-01-02 19:27:39 -08:00
..
protos	protobuf: generate code at build-time	2020-12-24 01:05:17 -08:00
src	git: pass ssh credentials from ssh-agent on push	2021-01-02 19:27:39 -08:00
tests	git: use thiserror for errors	2021-01-02 08:24:27 -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