diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-10-07 11:32:53 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-10-07 11:32:53 +0900 |
commit | ba2d45112224a0bd5ba0f10ba180c88d148cec36 (patch) | |
tree | c4824e0fa57f40c49904807f9913aa4c2160b6bb /Documentation/git-update-server-info.txt | |
parent | Fifth batch (diff) | |
parent | stash: make sure to write refreshed cache (diff) | |
download | tgif-ba2d45112224a0bd5ba0f10ba180c88d148cec36.tar.xz |
Merge branch 'tg/stash-refresh-index'
"git stash" learned to write refreshed index back to disk.
* tg/stash-refresh-index:
stash: make sure to write refreshed cache
merge: use refresh_and_write_cache
factor out refresh_and_write_cache function
Diffstat (limited to 'Documentation/git-update-server-info.txt')
0 files changed, 0 insertions, 0 deletions