Merge branch 'ab/completion-push-delete-ref'
authorJunio C Hamano <gitster@pobox.com>
Wed, 26 Apr 2017 06:39:09 +0000 (15:39 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 26 Apr 2017 06:39:09 +0000 (15:39 +0900)
The completion script (in contrib/) learned to complete "git push
--delete b<TAB>" to complete branch name to be deleted.

* ab/completion-push-delete-ref:
completion: expand "push --delete <remote> <ref>" for refs on that <remote>

Trivial merge