completion: add some missing options to `git push`
authorJohn Keeping <john@keeping.me.uk>
Tue, 22 Jul 2014 18:24:57 +0000 (19:24 +0100)
committerJunio C Hamano <gitster@pobox.com>
Tue, 22 Jul 2014 20:23:39 +0000 (13:23 -0700)
commit9e8a6a9...33d2e750779a90663e2e9dca8a8c5c71
tree1ac0313...9628ec81f3607d6186a3afef7c9a12d5copy hash to clipboard (tree)
parent3a224ff...bbb8a3782d6db67426aa8bc09063ab08copy hash to clipboard (diff)
contrib/completion/git-completion.bash