Samuel Tardieu 2832d7c739 config: allow configuration of git remotes for fetch and push operations ... The `git.fetch` and `git.push` keys can be used in the configuration file for the default to use in `jj git fetch` and `jj git push` operations. By defaut, "origin" is used in both cases.		2023-01-17 19:04:11 +01:00
..
technical
branches.md
code-of-conduct.md
config.md
config.toml
conflicts.md
contributing.md
git-comparison.md
git-compatibility.md
github.md	config: allow configuration of git remotes for fetch and push operations	2023-01-17 19:04:11 +01:00
operation-log.md
related-work.md
revsets.md
tutorial.md
working-copy.md