set github repository string as lowercase

This commit is contained in:
chaosinthecrd 2023-04-26 17:42:12 +01:00
parent f3c6980bb2
commit e97ea1677f
No known key found for this signature in database
GPG Key ID: 87942E75F71EF65D

View File

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