Don't ignore db when building Docker image (#101)

We ignore this for our local image because there we mount the `db` directory as a volume. But for the Docker build and push action on GitHub, it should of course not be ignored. This should fix #99
ad-freiburg · Aug 17, 2024 · 4fd05b7 · 4fd05b7
1 parent 16550fc
commit 4fd05b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.dockerignore b/.dockerignore
@@ -1,4 +1,4 @@
-db
+!db
 .git
 !.git/HEAD
 !.git/refs/heads