Merge branch 'gs/commit-graph-progress'
authorJunio C Hamano <gitster@pobox.com>
Mon, 7 Oct 2019 02:32:57 +0000 (11:32 +0900)
committerJunio C Hamano <gitster@pobox.com>
Mon, 7 Oct 2019 02:32:57 +0000 (11:32 +0900)
commitcaf150ce7d60e4070292226ec208478b801b8d4b
tree4468512d9f8492843cc7b4a6091790e513acde9f
parent1d8b0dfa8af29213969402a4d9ce78e4d95c7718
parent7371612255492f062ee905e6d88c6234c6d4752a
Merge branch 'gs/commit-graph-progress'

* gs/commit-graph-progress:
  commit-graph: add --[no-]progress to write and verify
builtin/commit-graph.c
commit-graph.c