Re: `@` alias for `HEAD` not working in `git push -u origin @`

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Jul 12, 2019, 10:29 UTC
Message-ID: <nycvar.QRO.7.76.6.1907121228110.47@tvgsbejvaqbjf.bet>
In-Reply-To: <20190711144828.GH9224@genre.crustytoothpaste.net>

Hi brian,

On Thu, 11 Jul 2019, brian m. carlson wrote:

Show 11 quoted lines

> On 2019-07-11 at 09:46:26, Johannes Schindelin wrote:
>
> > Since I have your attention and since I am interested in a related issue
> > (when I wanted to propose a GSoC mini project to let `git fetch <remote>
> > @` expand the `@` to the current (local) branch name, Matthieu Moy
> > pointed out that `git fetch --current <remote>` might be a better UI):
> > what does your patch do with `git fetch`'s refspec arguments?
>
> I haven't checked. I believe it would resolve "git fetch origin @" to
> "git fetch origin HEAD" and "git fetch origin @:refs/heads/master" to
> "git fetch origin HEAD:refs/heads/master".

That sounds like a sane behavior, as `@` on the "src" side of a refspec that tries to fetch from a remote repository should probably not expand to a _local_ branch.

> I can add some additional tests for this case, although I'm not
> especially sure that it provides useful behavior people will want.

Nah, from my side this is not necessary.

Ciao, Dscho