Merge branch 'maint-1.7.2' into maint

* maint-1.7.2:
  add: introduce add.ignoreerrors synonym for add.ignore-errors
  bash: Match lightweight tags in prompt
  git-commit.txt: (synopsis): move -i and -o before "--"

diff --cc Documentation/config.txt
Simple merge

diff --cc contrib/completion/git-completion.bash
Simple merge