diff options
| author | Thomas Gummerer <t.gummerer@gmail.com> | 2019-09-11 19:20:26 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-09-20 09:58:22 -0700 |
| commit | e080b34540296e4671b4d1110ba3c71b5224884a (patch) | |
| tree | fef1853984885b16c1bbbf9e9295d5cfa40db5d2 /builtin/commit-graph.c | |
| parent | 22184497a36a90e541617a51de6671ca5948612c (diff) | |
merge: use refresh_and_write_cache
Use the 'refresh_and_write_cache()' convenience function introduced in
the last commit, instead of refreshing and writing the index manually
in merge.c
Signed-off-by: Thomas Gummerer <t.gummerer@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/commit-graph.c')
0 files changed, 0 insertions, 0 deletions