Merge pull request #10 from MinaFoundation/PM-1745-Remove-.git-from-l…

…eaderboard PM-1745 ignore git folders for docker build
MinaFoundation · Jun 7, 2024 · 0c4b7d2 · 0c4b7d2
2 parents f0e13dc + b735f95
commit 0c4b7d2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.dockerignore b/.dockerignore
@@ -0,0 +1,3 @@
+.git/
+.github/
+