Hi, all: Are there any downsides to deleting FETCH_HEAD after performing "git remote update" in repos that are only used for mirrored hosting? E.g. source.codeaurora.org has thousands of repos where various Android/CAF automation creates tons of refs, so FETCH_HEAD files are routinely many MB in size: $ ls -ahl FETCH_HEAD -rw-rw-r--. 1 mricon mricon 4.4M Jul 11 04:28 FETCH_HEAD $ wc -l FETCH_HEAD 29122 FETCH_HEAD As far as I know, FETCH_HEAD info is only used in local-repo operations, so there should be no downside to deleting these files when git is only used for mirroring -- but I wanted to check in case I'm wrong. TIA, -K
