build: fix repo name

Author: sgratzl

.github/workflows/ci_fast.yaml

@@ -58,11 +58,11 @@ jobs:
             ;;
           esac
           echo "using tag: --${imageTag}--"
-          docker build -t ghcr.io/${{ github.repository_owner }}/${{ github.repository.name }}:$imageTag --file ${DEVOPS_DOCKER_FILE} .
-          docker push ghcr.io/${{ github.repository_owner }}/${{ github.repository.name }}:$imageTag
+          docker build -t ghcr.io/${{ github.repository }}:$imageTag --file ${DEVOPS_DOCKER_FILE} .
+          docker push ghcr.io/${{ github.repository }}:$imageTag
 
           # trigger a webhook update
           curl -H "Authorization: Bearer ${{ secrets.DELPHI_DEPLOY_WEBHOOK_TOKEN }}" \
                -X POST ${{ secrets.DELPHI_DEPLOY_WEBHOOK_URL }} \
                -H "Content-Type: application/x-www-form-urlencoded" \
-               -d "repository=ghcr.io/cmu-delphi/${{ github.repository.name }}&tag=$imageTag"
+               -d "repository=ghcr.io/${{ github.repository }}&tag=$imageTag"