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

From: Marc Branchaud <marcnarc@xiplink.com>
Date: Oct 22, 2010, 14:50 UTC
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.