On Thu, Jan 04, 2024 at 01:01:26PM +0100, Stefan Haller wrote: > On 03.01.24 23:10, Junio C Hamano wrote: > > Folks who invented "git maintenance" designed their "prefetch" task > > to perform the best practice, without interfering any foreground > > fetches by not touching FETCH_HEAD and the remote-tracking branches. > > That's good, but it's for a very different purpose than an IDE's > background fetch. git maintenance's prefetch is just to improve > performance for the next pull; the point of an IDE's background fetch is > to show me which of my remote branches have new stuff that I might be > interested in pulling, without having to fetch myself. So I *want* this > to be mucking with my remote-tracking branches. Use `git remote update`? Mike
