diff --git a/.github/workflows/docker-dev.yml b/.github/workflows/docker-dev.yml index bbd9dd150..b7b5956bf 100644 --- a/.github/workflows/docker-dev.yml +++ b/.github/workflows/docker-dev.yml @@ -67,8 +67,10 @@ jobs: do if [ $COUNTER -ge $KEEP_LAST_N_IMAGES ] then - echo "Deleting tag $TAG" - curl -i -X DELETE -u $DOCKER_HUB_USERNAME:$DOCKER_HUB_PASSWORD https://hub.docker.com/v2/repositories/$DOCKER_HUB_REPO/tags/$TAG/ + echo "The following tag should be deleted: $TAG" + # Commenting out the actual delete since dockerhub does not seem to support delete via curl :-( + # echo "Deleting tag $TAG" + # curl -i -X DELETE -u $DOCKER_HUB_USERNAME:$DOCKER_HUB_PASSWORD https://hub.docker.com/v2/repositories/$DOCKER_HUB_REPO/tags/$TAG/ else echo "Keeping tag $TAG" fi