Andreas Schwab wrote: > Jonathan Nieder <jrnieder@xxxxxxxxx> writes: >> I'm not sure what a good meaning for "git merge <repository>" would >> be. > > It's equivalent to refs/remotes/<repository>/HEAD if that exists. Ah, I should have checked gitrevisions(7). Thank you. Jonathan who wonders where his origin/HEAD symref came from and if "git remote set-head --auto origin" was ever automatic -- 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