Martin von Zweigbergk 56472297f0 git: add support for SSH authentication with ed25519 or ed25519-sk ... This makes it possible to use ed25519 and ed25519-sk keys by trying them one at a time. However, it still fails if one of them is password-protected; we don't try the next key in that case.		2023-08-09 03:44:03 +00:00
..
commands	git: add support for SSH authentication with ed25519 or ed25519-sk	2023-08-09 03:44:03 +00:00
config	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
cleanup_guard.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
cli_util.rs	cli: don't call a safe function 'unsafe'	2023-08-08 20:42:19 -07:00
commit_templater.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
config-schema.json	config: Rename push.branch-prefix option to git.push-branch-prefix	2023-08-07 19:10:10 -07:00
config.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
diff_util.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
formatter.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
graphlog.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
lib.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
main.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
merge_tools.rs	merge_tools: make dirs readonly for external difftool	2023-08-07 17:17:35 -07:00
operation_templater.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
progress.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
template.pest	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
template_builder.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
template_parser.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
templater.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
text_util.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
time_util.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00
ui.rs	cli: move src/ directory to new cli/ directory	2023-08-04 19:00:42 -05:00