delete .gitmodules

ika-rwth-aachen · Oct 22, 2024 · 93f610a · 93f610a
1 parent e7555e4
commit 93f610a
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
diff --git a/docker/docker_build.sh b/docker/docker_build.sh
@@ -5,5 +5,5 @@ docker buildx build \
 --platform linux/amd64,linux/arm64 \
 --cache-from type=registry,ref=rwthika/acdc-notebooks:latest \
 --tag rwthika/acdc-notebooks:latest \
---output type=docker \
+--push \
 .