running git-update-cache --refresh on different machines on a NFS share always ends up in a lot of io/cpu/time waste
From: Thomas Glanzmann <hidden>
Date: 2016-06-15 22:41:58
From: Thomas Glanzmann <hidden>
Date: 2016-06-15 22:41:58