Simplifies docker workflow. Over-complicates mirror workflow

Author: Lissy93

.github/workflows/docker.yml

@@ -47,25 +47,21 @@ jobs:
         run: |
           TAGS=""
 
-          # Convert repo name to lowercase for Docker Hub
-          REPO_LOWER=$(echo "${{ env.REPO_NAME }}" | tr '[:upper:]' '[:lower:]')
-
           if [[ "${{ github.event_name }}" == "workflow_dispatch" && -n "${{ inputs.tag }}" ]]; then
             # Manual dispatch with custom tag
             TAG="${{ inputs.tag }}"
-            TAGS="docker.io/${REPO_LOWER}:${TAG},ghcr.io/${REPO_LOWER}:${TAG}"
+            TAGS="docker.io/${{ env.REPO_NAME }}:${TAG},ghcr.io/${{ env.REPO_NAME }}:${TAG}"
           elif [[ "${{ github.ref_type }}" == "tag" ]]; then
             # Git tag push
             TAG="${{ github.ref_name }}"
             TAG="${TAG#v}"  # Remove v prefix
-            TAGS="docker.io/${REPO_LOWER}:${TAG},ghcr.io/${REPO_LOWER}:${TAG}"
+            TAGS="docker.io/${{ env.REPO_NAME }}:${TAG},ghcr.io/${{ env.REPO_NAME }}:${TAG}"
           elif [[ "${{ github.ref }}" == "refs/heads/main" ]]; then
             # Main branch push
-            TAGS="docker.io/${REPO_LOWER}:latest,ghcr.io/${REPO_LOWER}:latest"
+            TAGS="docker.io/${{ env.REPO_NAME }}:latest,ghcr.io/${{ env.REPO_NAME }}:latest"
           fi
 
           echo "tags=${TAGS}" >> $GITHUB_OUTPUT
-          echo "repo_lower=${REPO_LOWER}" >> $GITHUB_OUTPUT
           echo "Publishing tags: ${TAGS}"
 
       - name: 🔑 Login to Docker Hub
@@ -87,7 +83,7 @@ jobs:
         id: meta
         uses: docker/metadata-action@v5
         with:
-          images: ghcr.io/${{ steps.tags.outputs.repo_lower }}
+          images: ghcr.io/${{ env.REPO_NAME }}
           tags: |
             type=raw,value=${{ steps.tags.outputs.tags }}
           labels: |

.github/workflows/mirror.yml

@@ -5,23 +5,32 @@
 # - MIRROR_HOST: (optional) Hostname of target Git server, defaults to Codeberg
 # - MIRROR_USER: (optional) User or org name of target repo, defaults to alicia
 # - MIRROR_REPO: (optional) Name of target repo, defaults to same as source repo
+#
+# The workflow is triggered:
+#  1. weekly (at 01:30 on Sunday mornings) via a cron
+#  2. Whenever a new tagged version is published to git
+#  4. Or, can be triggered manually via the "Run workflow" button
 
 name: 🪞 Mirror to Codeberg
 
 on:
-  workflow_dispatch:
   schedule:
     - cron: '30 01 * * 0'
   push:
     tags: [ 'v*' ]
+  workflow_dispatch:
+    inputs:
+      host: { description: 'Git host (default: git@codeberg.org)' }
+      user: { description: 'Git user/org name (default: current repo owner)' }
+      repo: { description: 'Repository name (default: current repo name)' }
 
 jobs:
   codeberg:
     runs-on: ubuntu-latest
-    env: # Get values for target repo from env vars or fallback to defaults
-      MIRROR_HOST: ${{ vars.MIRROR_HOST || 'git@codeberg.org' }}
-      MIRROR_USER: ${{ vars.MIRROR_USER || 'alicia' }}
-      MIRROR_REPO: ${{ vars.MIRROR_REPO || github.event.repository.name }}
+    env: # Get values for target repo from inputs, env vars, or fallback to defaults
+      MIRROR_HOST: ${{ inputs.host || vars.MIRROR_HOST || 'git@codeberg.org' }}
+      MIRROR_USER: ${{ inputs.user || vars.MIRROR_USER || 'alicia' }}
+      MIRROR_REPO: ${{ inputs.repo || vars.MIRROR_REPO || github.event.repository.name }}
       HAS_SSH: ${{ secrets.MIRROR_SSH != '' }}
     steps:
       - name: Cancel if SSH key not set
@@ -33,12 +42,46 @@ jobs:
         with: { fetch-depth: 0 }
 
       - name: Mirror repository to target
+        id: mirror
         run: |
-          set -e
+          set -euo pipefail
+          LOG="$RUNNER_TEMP/mirror.log"
+
+          # Derive host from MIRROR_HOST (handles git@host, ssh://git@host:22, etc.)
+          HOST="${{ env.MIRROR_HOST }}"
+          HOST="${HOST#*://}"; HOST="${HOST#*@}"; HOST="${HOST%%:*}"
+
           mkdir -p ~/.ssh
           echo "${{ secrets.MIRROR_SSH }}" > ~/.ssh/id_rsa
           chmod 600 ~/.ssh/id_rsa
-          ssh-keyscan codeberg.org >> ~/.ssh/known_hosts
-          git remote add mirror ${{ env.MIRROR_HOST }}:${{ env.MIRROR_USER }}/${{ env.MIRROR_REPO }}.git || true
-          git push mirror --all
-          git push mirror --tags
+          ssh-keyscan "$HOST" >> ~/.ssh/known_hosts 2>/dev/null || true
+          {
+            git remote add mirror ${{ env.MIRROR_HOST }}:${{ env.MIRROR_USER }}/${{ env.MIRROR_REPO }}.git || true
+            git push mirror --all
+            git push mirror --tags
+          } |& tee "$LOG"
+
+      - name: Summarize
+        if: always()
+        continue-on-error: true
+        run: |
+          LOG="$RUNNER_TEMP/mirror.log"
+          TARGET="${{ env.MIRROR_HOST }}:${{ env.MIRROR_USER }}/${{ env.MIRROR_REPO }}.git"
+          if [ "${{ env.HAS_SSH }}" != "true" ]; then
+            {
+              echo "🚫 **Cancelled, because no SSH key was set**.<br>"
+              echo "_Looks like you forgot to set the \`MIRROR_SSH\` secret to your encrypted private key?_"
+            } >> "$GITHUB_STEP_SUMMARY"; exit 0
+          fi
+          if [ "${{ steps.mirror.outcome }}" = "success" ]; then
+            {
+              echo "✅ **Completed**.<br>_You can now access the repository at_ \`${TARGET}\` 🥳"
+              echo; echo '```'; (tail -n 200 "$LOG" || true); echo '```'
+            } >> "$GITHUB_STEP_SUMMARY"
+          else
+            {
+              echo "❌ **Failed**.<br>_Because the mirror push did not complete successfully._"
+              echo; echo '```'; ([ -f "$LOG" ] && tail -n 200 "$LOG" || echo "No log output captured."); echo '```'
+            } >> "$GITHUB_STEP_SUMMARY"
+          fi
+