diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2019-11-04 13:33:05 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-11-04 13:33:05 +0900 |
| commit | c32ca691c282fb34eeb29639340a2aa15f861606 (patch) | |
| tree | 47984c708bd5bf8b2de5bff2bc9582211938da12 /contrib/coverage-diff.sh | |
| parent | Merge https://github.com/prati0100/git-gui (diff) | |
| parent | fetch: delay fetch_if_missing=0 until after config (diff) | |
| download | tgif-c32ca691c282fb34eeb29639340a2aa15f861606.tar.xz | |
Merge branch 'jt/delay-fetch-if-missing'
Work-around a lazy fetch glitch.
* jt/delay-fetch-if-missing:
fetch: delay fetch_if_missing=0 until after config
Diffstat (limited to 'contrib/coverage-diff.sh')
0 files changed, 0 insertions, 0 deletions