t / t4013 / diff.diff-tree_--pretty_--stat_initialon commit push: allow --follow-tags to be set by config push.followTags (a8bc269)
   1$ git diff-tree --pretty --stat initial
   2$