Lowercase repo name in docker workflow. Improves output of mirror workflow

Author: Lissy93

.github/workflows/docker.yml

@@ -22,6 +22,7 @@ on:
 
 env:
   REPO_NAME: ${{ github.repository }}
+  REPO_LOWER: ${{ github.repository_owner }}/networking-toolbox
 
 jobs:
   build:
@@ -50,15 +51,15 @@ jobs:
           if [[ "${{ github.event_name }}" == "workflow_dispatch" && -n "${{ inputs.tag }}" ]]; then
             # Manual dispatch with custom tag
             TAG="${{ inputs.tag }}"
-            TAGS="docker.io/${{ env.REPO_NAME }}:${TAG},ghcr.io/${{ env.REPO_NAME }}:${TAG}"
+            TAGS="docker.io/${{ env.REPO_LOWER }}:${TAG},ghcr.io/${{ env.REPO_LOWER }}:${TAG}"
           elif [[ "${{ github.ref_type }}" == "tag" ]]; then
             # Git tag push
             TAG="${{ github.ref_name }}"
             TAG="${TAG#v}"  # Remove v prefix
-            TAGS="docker.io/${{ env.REPO_NAME }}:${TAG},ghcr.io/${{ env.REPO_NAME }}:${TAG}"
+            TAGS="docker.io/${{ env.REPO_LOWER }}:${TAG},ghcr.io/${{ env.REPO_LOWER }}:${TAG}"
           elif [[ "${{ github.ref }}" == "refs/heads/main" ]]; then
             # Main branch push
-            TAGS="docker.io/${{ env.REPO_NAME }}:latest,ghcr.io/${{ env.REPO_NAME }}:latest"
+            TAGS="docker.io/${{ env.REPO_LOWER }}:latest,ghcr.io/${{ env.REPO_LOWER }}:latest"
           fi
 
           echo "tags=${TAGS}" >> $GITHUB_OUTPUT
@@ -83,7 +84,7 @@ jobs:
         id: meta
         uses: docker/metadata-action@v5
         with:
-          images: ghcr.io/${{ env.REPO_NAME }}
+          images: ghcr.io/${{ env.REPO_LOWER }}
           tags: |
             type=raw,value=${{ steps.tags.outputs.tags }}
           labels: |

.github/workflows/mirror.yml

@@ -25,23 +25,23 @@ on:
       repo: { description: 'Repository name (default: current repo name)' }
 
 jobs:
-  codeberg:
+  mirror:
     runs-on: ubuntu-latest
     env: # Get values for target repo from inputs, env vars, or fallback to defaults
       MIRROR_HOST: ${{ inputs.host || vars.MIRROR_HOST || '[email protected]' }}
       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
+      - name: ⏭️ Cancel if SSH key not set
         if: env.HAS_SSH != 'true'
         run: echo "::warning::MIRROR_SSH secret not set" && exit 1
 
-      - name: Checkout source repository
+      - name: ⤵️ Checkout source repository
         uses: actions/checkout@v4
         with: { fetch-depth: 0 }
 
-      - name: Mirror repository to target
+      - name: 🔁 Mirror repository to target
         id: mirror
         run: |
           set -euo pipefail
@@ -61,7 +61,7 @@ jobs:
             git push mirror --tags
           } |& tee "$LOG"
 
-      - name: Summarize
+      - name: ⤵️ Summarize
         if: always()
         continue-on-error: true
         run: |
@@ -75,8 +75,8 @@ jobs:
           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 '```'
+              echo "✅ **Completed**.<br>_You can now access the repository at_ \`${TARGET}\` 🥳<br>"
+              echo; echo '<details><summary>Output</summary><pre>'; (tail -n 200 "$LOG" || true); echo '</pre></details>'
             } >> "$GITHUB_STEP_SUMMARY"
           else
             {