Merge branch 'jk/more-push-completion'
commit0d9cb2d14e4f26c122ab2532b4ceb3e757fb87b7
authorJunio C Hamano <gitster@pobox.com>
Wed, 30 Jul 2014 21:21:13 +0000 (30 14:21 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 30 Jul 2014 21:21:14 +0000 (30 14:21 -0700)
tree2d4918cd7fb59bd72d1e38f34e30ea375bd0fe75
parentc372e7b01b6c6a9902ae5428ee1f9880a5421344
parentaaf7253f84477d4be9b56072804e53c3098aaa90
Merge branch 'jk/more-push-completion'

* jk/more-push-completion:
  completion: complete `git push --force-with-lease=`
  completion: add some missing options to `git push`
  completion: complete "unstuck" `git push --recurse-submodules`
contrib/completion/git-completion.bash