diff options
-rw-r--r-- | roles/git/files/runner-mirror/config | 7 | ||||
-rwxr-xr-x | roles/git/files/runner-mirror/mirror.sh | 9 |
2 files changed, 15 insertions, 1 deletions
diff --git a/roles/git/files/runner-mirror/config b/roles/git/files/runner-mirror/config index 7e88cb7..8fd99fe 100644 --- a/roles/git/files/runner-mirror/config +++ b/roles/git/files/runner-mirror/config @@ -1,3 +1,10 @@ +host cgito + identityfile /mirror.key + user git + # Connection on localhost (podman network), ignore key verification. + StrictHostKeyChecking no + UserKnownHostsFile=/dev/null + host git.memzero.de identityfile /mirror.key user git diff --git a/roles/git/files/runner-mirror/mirror.sh b/roles/git/files/runner-mirror/mirror.sh index 0aade9d..9a3c04b 100755 --- a/roles/git/files/runner-mirror/mirror.sh +++ b/roles/git/files/runner-mirror/mirror.sh @@ -1,5 +1,12 @@ #!/bin/sh +# Access git server through podman network if available. +if ping -c 1 cgito &> /dev/null; then + HOST=cgito +else + HOST=git.memzero.de +fi + function mirror() { local repo=$1 @@ -9,7 +16,7 @@ function mirror() { git -C $repo fetch --all --prune fi - git -C $repo push --mirror ssh://git.memzero.de/mirror/$repo + git -C $repo push --mirror ssh://$HOST/mirror/$repo } function lock() { |