Merge branch 'jc/mention-tracking-for-pull-default' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 25 Feb 2013 16:04:19 +0000 (08:04 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 25 Feb 2013 16:04:20 +0000 (08:04 -0800)
commitcd9c038ac93d65e1f3a9491e873e2d0bc5db73d6
tree59692b1d04f44b2dc3acbe9f96cf199ac395087f
parent5cc5f09b7b12fa428ecdc3a082d77dc37c78fd3b
parentfa23348e95a3a98ca42a4b74e8f17fb52b95ded8
Merge branch 'jc/mention-tracking-for-pull-default' into maint

* jc/mention-tracking-for-pull-default:
  doc: mention tracking for pull.default
Documentation/config.txt