Jonathan Tan <jonathantanmy@xxxxxxxxxx> writes: > This is technically true, but reading the documentation, it seems that > this should also happen when we're not in detached HEAD. Maybe write: > > "git push remote-name" (that is, with no refspec given on the command > line) should push the refspecs in remote.remote-name.push. There is no > test case that checks this behavior in detached HEAD, so add one. Ah, you are right. I was under the wrong impression that refspec defaults to HEAD if HEAD points to a branch. I will adopt your wording, thanks.
