Commit 854ffd2b9963b199c4ed3b38562a728127ab43ff

Edward Thomson 2021-01-07T17:34:17

clone: set refs/remotes/origin/HEAD when branch is specified When a branch is specified to check out in clone, update the remote tracking `HEAD` to point to it. This mimics git's behavior, when `git clone -b <name>` is used.