Merge branch 'jk/complete-merge-pull'
authorJunio C Hamano <gitster@pobox.com>
Mon, 16 Jun 2014 19:17:53 +0000 (12:17 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 16 Jun 2014 19:17:53 +0000 (12:17 -0700)
The completion code did not know about quite a few options that are
common between "git merge" and "git pull", and a couple of options
unique to "git merge".

* jk/complete-merge-pull:
completion: add missing options for git-merge
completion: add a note that merge options are shared

Trivial merge