Andrew's git / gitweb.git / diff
?
Merge branch 'gb/filter-branch-progress'
authorJunio C Hamano <gitster@pobox.com>
Wed, 7 Oct 2015 20:38:18 +0000 (13:38 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 7 Oct 2015 20:38:18 +0000 (13:38 -0700)
Give progress meter to "git filter-branch".

* gb/filter-branch-progress:
filter-branch: make report-progress more readable
filter-branch: add passed/remaining seconds on progress

Trivial merge