Re: [completion] Request: Include remote heads as push targets

[Marc Branchaud <marcnarc@xiplink.com>]

On 10-10-21 11:37 AM, Marc Branchaud wrote:
> Hi Shawn,
> 
> I find myself wishing that completion would support the following:
> 
> 	git push origin HEAD:<tab>
> 
> The options presented at this point should include all the origin/* heads,
> without the "origin/" prefix.  Right now (git 1.7.3.1) completion only lets
> me choose from local refs.

Hmmm, perhaps this is really a bug.

When I double-tab, the remote branch name I want is in the list of
possibilities.  But when I try to complete by typing a couple of leading
characters then hitting <tab> again, I don't get that name.  Instead I get a
tag that starts with the same letters.

More concretely:

$ echo $BASH_VERSION
4.1.5(1)-release

$ git branch -a
  bar
  baz
* master
  remotes/origin/HEAD -> origin/master
  remotes/origin/battle
  remotes/origin/battle.hardened
  remotes/origin/master

$ git tag
bassinet

$ git push origin HEAD:<tab><tab>
battle            battle.hardened   HEAD              master

$ git push origin HEAD:ba<tab><tab>
bar        bassinet   baz

Wacky!

		M.