Revert "use devcontainer build to push"

This reverts commit ef35c0c.

Author: opajonk

scripts/publish.sh

@@ -3,4 +3,8 @@ set -euxo pipefail
 
 TAG="${1:-latest}"
 
-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
+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}"