FETCH_HEAD files and mirrored repos

From: Konstantin Ryabitsev <hidden>
Date: 2020-07-11 20:48:55

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
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help