Port repository mirroring from EE

2d7aef13 · Achilleas Pipinellis · 8197c756 · 2d7aef13 · 2d7aef13 · 2d7aef13
Commit 2d7aef13 authored Jun 04, 2018 by Achilleas Pipinellis
11 changed files
--- a/doc/workflow/repository_mirroring.md
+++ b/doc/workflow/repository_mirroring.md
--- a/doc/workflow/repository_mirroring/repository_mirroring_detect_host_keys.png
+++ b/doc/workflow/repository_mirroring/repository_mirroring_detect_host_keys.png
--- a/doc/workflow/repository_mirroring/repository_mirroring_diverged_branch.png
+++ b/doc/workflow/repository_mirroring/repository_mirroring_diverged_branch.png
--- a/doc/workflow/repository_mirroring/repository_mirroring_hard_failed_main.png
+++ b/doc/workflow/repository_mirroring/repository_mirroring_hard_failed_main.png
--- a/doc/workflow/repository_mirroring/repository_mirroring_hard_failed_settings.png
+++ b/doc/workflow/repository_mirroring/repository_mirroring_hard_failed_settings.png
--- a/doc/workflow/repository_mirroring/repository_mirroring_new_project.png
+++ b/doc/workflow/repository_mirroring/repository_mirroring_new_project.png
--- a/doc/workflow/repository_mirroring/repository_mirroring_pull_advanced_host_keys.png
+++ b/doc/workflow/repository_mirroring/repository_mirroring_pull_advanced_host_keys.png
--- a/doc/workflow/repository_mirroring/repository_mirroring_pull_settings.png
+++ b/doc/workflow/repository_mirroring/repository_mirroring_pull_settings.png
--- a/doc/workflow/repository_mirroring/repository_mirroring_pull_settings_for_ssh.png
+++ b/doc/workflow/repository_mirroring/repository_mirroring_pull_settings_for_ssh.png
--- a/doc/workflow/repository_mirroring/repository_mirroring_ssh_host_keys_verified.png
+++ b/doc/workflow/repository_mirroring/repository_mirroring_ssh_host_keys_verified.png
--- a/doc/workflow/repository_mirroring/repository_mirroring_ssh_public_key_authentication.png
+++ b/doc/workflow/repository_mirroring/repository_mirroring_ssh_public_key_authentication.png