From: Marc Branchaud <marcnarc@xiplink.com>
Date: Fri, 22 Oct 2010 14:50:17 GMT
Subject: Re: [completion] Request: Include remote heads as push targets
Message-ID: <4CC1A4A9.3040703@xiplink.com>
In-Reply-To: <20101021210842.6545a661@montecarlo.grandprix.int>

On 10-10-21 09:08 PM, Peter van der Does wrote:
> 
> In the case of Marc's problem, it would be helpful to see what the
> result is in Bash 3.

Bash v3 seems to work fine:

$ echo $BASH_VERSION
3.2.0(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>
  git push origin HEAD:battle<tab><tab>
battle            battle.hardened

		M.