On 7/24/2020 9:48 PM, Junio C Hamano wrote: > Đoàn Trần Công Danh <congdanhqx@xxxxxxxxx> writes: > >>> When running 'git fetch <remote> <options>' in the background, use >>> the following options for careful updating: >> >> Does this job interfere with FETCH_HEAD? >> From my quick test (by applying 01-08 on top of rc1, and messing with t7900), >> it looks like yes. >> >> I (and some other people, probably) rely on FETCH_HEAD for our scripts. >> Hence, it would be nice to not touch FETCH_HEAD with prefetch job. > > Very good point. For that, Derrick may want to swallow the single > patch from 'jc/no-update-fetch-head' topic into this series and > pass the new command line option. Thanks for the pointer! I appreciate the attention to detail here. I'll rebase onto jc/no-update-fetch-head for the next version, since that branch is based on v2.28.0-rc0, which is recent enough. Thanks, -Stolee
