From eb96d11326314d2746af6a3feeeea5fedf2b0790 Mon Sep 17 00:00:00 2001
From: Pierre Donat-Bouillud <pierre.donat.bouillud@gmail.com>
Date: Mon, 13 Jan 2025 22:41:14 -0500
Subject: [PATCH] Make sure the repo name uses lower case

---
 .github/workflows/devcontainer.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
index 344b11e2..1d3ddd92 100644
--- a/.github/workflows/devcontainer.yml
+++ b/.github/workflows/devcontainer.yml
@@ -20,11 +20,17 @@ jobs:
           registry: ghcr.io
           username: ${{ github.repository_owner }}
           password: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: set lower case owner name
+        run: |
+            echo "OWNER_LC=${OWNER,,}" >>${GITHUB_ENV}
+          env:
+            OWNER: '${{ github.repository_owner }}'
     
       # See https://github.com/devcontainers/ci/blob/main/docs/github-action.md
       - name: Build and run dev container task
         uses: devcontainers/ci@v0.3
         with:
-          imageName: ghcr.io/PRL-PRG/r_compile_server
+          imageName: ghcr.io/${{ OWNER_LC }}/r-compile-server
           # Change this to be your CI task/script
           runCmd: cd server; mvn --batch-mode --update-snapshots test
\ No newline at end of file