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 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html