From: Peter Baumann <hidden> Date: 2016-06-15 22:43:05
running git-gc or git-gc --prune isn't save because e.g. all the tags
are packed and .git/packed-refs isn't shared on the several workdirs.
This has caused me to lose some tags, but being lucky, I could find those in
the backup.
Greetings,
Peter