Resolve CI conflicts, skip PR logins, and restore original image name

Author: HarshaSatyavardhan

.github/workflows/docker.yml

@@ -4,14 +4,14 @@ on:
   push:
     branches:
       - main
-      - fix/docker-deployment # <--- This lets you test in your fork!
+      # - fix/docker-deployment 
   pull_request:
     branches:
       - main
-  workflow_dispatch: # <--- Adds a button to run it manually
+  workflow_dispatch: 
 
 env:
-  IMAGE_NAME: specializedboy/mirage-git # <--- Updated to your Docker Hub username
+  IMAGE_NAME: fabnemepfl/mirage
   REGISTRY: docker.io
 
 jobs:
@@ -64,7 +64,6 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Log in to DockerHub
-        # MAGIC FIX: Skip login if this is a PR (fixes the upstream crash)
         if: github.event_name != 'pull_request'
         uses: docker/login-action@v3
         with:
@@ -79,7 +78,6 @@ jobs:
         with:
           context: .
           file: ${{ matrix.path }}
-          # MAGIC FIX: Only push if it is NOT a PR
           push: ${{ github.event_name != 'pull_request' }}
           tags: |
             ${{ secrets.DOCKER_USERNAME }}/${{ matrix.name }}:latest-${{ matrix.tag_base }}