• @uranibaba
    link
    1615 days ago
    • When “git fetch $remote” notices that refs/remotes/$remote/HEAD is missing and discovers what branch the other side points with its HEAD, refs/remotes/$remote/HEAD is updated to point to it.

    That is nice.