Merge branch 'maint-1.7.2' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 2 Dec 2010 00:40:26 +0000 (1 16:40 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 2 Dec 2010 00:40:26 +0000 (1 16:40 -0800)
* 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 "--"

1  2 
Documentation/config.txt
contrib/completion/git-completion.bash

Simple merge