Merge branch 'jl/complete-git-prune'
commit65ffaca0e437b4b504fd5fbfe39e72331d7f7314
authorJunio C Hamano <gitster@pobox.com>
Tue, 7 Jul 2020 05:09:15 +0000 (6 22:09 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 7 Jul 2020 05:09:15 +0000 (6 22:09 -0700)
treeb5b0b4aba3c55f0d0504f85f4808202dc2e737b0
parent645f63111b9fc456cc48da9b320b86800fe5477c
parent81120a90aa32f545ce3b68f49d2877ccff29a6e3
Merge branch 'jl/complete-git-prune'

Add "git prune" to the completion (in contrib/), which could be
typed by end-users from the command line.

* jl/complete-git-prune:
  bash-completion: add git-prune into bash completion