Merge pull request #9 from ChaosInTheCRD/main

Make repository name lowercase to prevent issues with capitals
This commit is contained in:
Jason Hall 2023-04-26 14:07:24 -04:00 committed by GitHub
commit 5565f737f4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -50,6 +50,8 @@ runs:
echo "${{ github.token }}" | ko login ghcr.io --username "dummy" --password-stdin echo "${{ github.token }}" | ko login ghcr.io --username "dummy" --password-stdin
# Set KO_DOCKER_REPO for future steps. # Set KO_DOCKER_REPO for future steps.
echo "KO_DOCKER_REPO=ghcr.io/${{ github.repository }}" # We need to get the repository name in lowercase, otherwise it could fail
echo "KO_DOCKER_REPO=ghcr.io/${{ github.repository }}" >> $GITHUB_ENV repo=$(echo "${{ github.repository }}" | tr '[:upper:]' '[:lower:]')
echo "KO_DOCKER_REPO=ghcr.io/${repo}"
echo "KO_DOCKER_REPO=ghcr.io/${repo}" >> $GITHUB_ENV
fi fi