V8.13.400.2025.11.08

Signed-off-by: Marc S. Weidner <msw@coresecret.dev>

.gitea/workflows/linter_char_scripts.yaml

@@ -53,7 +53,7 @@ jobs:
         run: |
           set +x
           set -euo pipefail
-          rm -rf ~/.ssh && mkdir -m700 ~/.ssh
+          rm -rf ~/.ssh && mkdir -m0700 ~/.ssh
 
           ### Private Key
           echo "${{ secrets.SSH_MSW_DEPLOY_CORESECRET_DEV }}" >| ~/.ssh/id_ed25519
@@ -66,10 +66,18 @@ jobs:
           ### Generate SSH Config for git.coresecret.dev Custom-Port
           cat <<EOF >| ~/.ssh/config
           Host git.coresecret.dev
+            BatchMode yes
+            ConnectTimeout 5
+            ControlMaster auto
+            ControlPath ~/.ssh/cm-%r@%h:%p
+            ControlPersist 5m
             HostName git.coresecret.dev
-            Port 42842
             IdentityFile ~/.ssh/id_ed25519
+            Port 42842
+            ServerAliveCountMax 3
+            ServerAliveInterval 10
             StrictHostKeyChecking yes
+            User git
             UserKnownHostsFile ~/.ssh/known_hosts
           EOF
           chmod 0600 ~/.ssh/config