t / t5100 / msg0009on commit Documentation/git-pull.txt: Add subtitles above included option files (3f7a9b5)
   1This is to fix diff-format documentation.
   2