Bring .git into docker (#259)

2019-08-06 06:39:33 -07:00 · 2019-08-06 06:39:33 -07:00 · 1e26859bb7
parent b1beacd1f3
commit 1e26859bb7
1 changed files with 1 additions and 0 deletions
--- a/.dockerignore
+++ b/.dockerignore
@ -1,4 +1,5 @@
 *
+!.git
 !Makefile
 !amalgamation.sh
 !benchmark