chore: Add .dockerignore

Despite us using ADD, the gitignore does not seem to be honored
fkie-cad · Sep 19, 2024 · be02797 · be02797
1 parent 8f4e755
commit be02797
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.dockerignore b/.dockerignore
@@ -0,0 +1,19 @@
+# Contents of .gitignore
+.cache
+.coverage
+.idea
+.project
+.pyc
+.pydevproject
+.pytest_cache
+.settings
+__pycache__
+bin/
+install.log
+
+# Other files
+.dockerignore
+.git
+.github
+.gitignore
+.ruff_cache