• uranibaba@lemmy.world
    link
    fedilink
    arrow-up
    13
    ·
    1 day 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.