[PATCH 0/2] Documentation: fixups following followRemoteHEAD

["Philippe Blain via GitGitGadget" <gitgitgadget@gmail.com>]

A small fixup and a wording improvement for the documentation of
remote.<name>.followRemoteHEAD.

Bence, thanks a lot for this new option, it is something I've been wanting
for a long time!

Philippe Blain (2):
  config/remote.txt: reunite 'severOption' description paragraphs
  config/remote.txt: improve wording for
    'remote.<name>.followRemoteHEAD'

 Documentation/config/remote.txt | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)


base-commit: e2067b49ecaef9b7f51a17ce251f9207f72ef52d
Published-As: https://github.com/gitgitgadget/git/releases/tag/pr-git-1894%2Fphil-blain%2Ffollow-remote-head-doc-v1
Fetch-It-Via: git fetch https://github.com/gitgitgadget/git pr-git-1894/phil-blain/follow-remote-head-doc-v1
Pull-Request: https://github.com/git/git/pull/1894
-- 
gitgitgadget