Do not copy any git ref in Docker images

Theory here is that this is what makes caching fail, because
HEAD changes at every push
This commit is contained in:
Claudio Ortolina
2025-08-27 16:55:45 +03:00
parent 77264b63ed
commit 969a3bdf5d
+1 -6
View File
@@ -19,13 +19,8 @@
.DS_Store
**/.DS_Store
# Ignore git, but keep git HEAD and refs to access current commit hash if needed:
#
# $ cat .git/HEAD | awk '{print ".git/"$2}' | xargs cat
# d0b8727759e1e0e7aa3d41707d12376e373d5ecc
# Ignore git
.git
!.git/HEAD
!.git/refs
# Common development/test artifacts
/cover/