FETCH_HEAD files and mirrored repos
- From
Konstantin Ryabitsev <konstantin@linuxfoundation.org>
- Date
- Jul 11, 2020, 20:48 UTC
- Message-ID
- <20200711204849.khfbyundun7ujqzw@chatter.i7.local>
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