diff options
author | Junio C Hamano <gitster@pobox.com> | 2021-04-30 13:50:25 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-04-30 13:50:25 +0900 |
commit | d250f903596ee149dffcd65e3794dbd00b62f97e (patch) | |
tree | 17c224b8d01073c69ce66728f64f2e5a61d98e17 /Documentation/config | |
parent | Merge branch 'ow/push-quiet-set-upstream' (diff) | |
parent | maintenance: respect remote.*.skipFetchAll (diff) | |
download | tgif-d250f903596ee149dffcd65e3794dbd00b62f97e.tar.xz |
Merge branch 'ds/maintenance-prefetch-fix'
The prefetch task in "git maintenance" assumed that "git fetch"
from any remote would fetch all its local branches, which would
fetch too much if the user is interested in only a subset of
branches there.
* ds/maintenance-prefetch-fix:
maintenance: respect remote.*.skipFetchAll
maintenance: use 'git fetch --prefetch'
fetch: add --prefetch option
maintenance: simplify prefetch logic
Diffstat (limited to 'Documentation/config')
0 files changed, 0 insertions, 0 deletions