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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html