Re: Fetch origin/HEAD during git fetch

Hi Jonathan, Thank you for your time. I would be for something like `git fetch --head` or `git fetch --remote-head` as the name. It also matches `git fetch --tags` - fetch tags from remote, in addition to whatever else. Aside from that, there are no further comments from my side. I would be really

Re: Fetch origin/HEAD during git fetch

Hi! Dominik Salvet wrote: > 1) `git fetch origin && git remote set-head origin -a` > 2) `git fetch origin +refs/heads/*:refs/remotes/origin/* > HEAD:refs/remotes/origin/HEAD` > 3) instead of git init and remote, use directly `git clone --no-checkout` > > The first solution is not suitable due its