use devcontainer build to push

Author: opajonk

scripts/publish.sh

@@ -3,8 +3,4 @@ set -euxo pipefail
 
 TAG="${1:-latest}"
 
-if [[ "$TAG" != "latest" ]]; then
-    docker tag "ghcr.io/eclipse-score/devcontainer:latest" "ghcr.io/eclipse-score/devcontainer:${TAG}"
-fi
-
-docker push "ghcr.io/eclipse-score/devcontainer:${TAG}"
+devcontainer build --workspace-folder src/s-core-devcontainer --image-name "ghcr.io/eclipse-score/devcontainer:${TAG}" --cache-from ghcr.io/eclipse-score/devcontainer --push true