On Tue, Nov 17, 2020 at 5:33 PM Jeff King <peff@xxxxxxxx> wrote: > On Tue, Nov 17, 2020 at 04:47:56PM -0600, Felipe Contreras wrote: > > This should be easy to do if we make "origin" be a pseudo ref that > > points to "origin/HEAD" (and we could introduce "origin/@"). > > Didn't we already do this long ago? refs/remotes/%s/HEAD is special in > the dwim_ref() lookup: > > $ git rev-parse --symbolic-full-name origin > refs/remotes/origin/master Hmmm. For some reason none of my remotes do have a HEAD. If I do "git remote add", and then fetch, the HEAD doesn't seem to be present. -- Felipe Contreras
