3 ms·
> “heads” are “branches” --> a "head" is the end of any given "branch" and throw "tip" in there, as in "HEAD is the tip of the current branch".
by e40 3y ago
> “heads” are “branches” --> a "head" is the end of any given "branch"
and throw "tip" in there, as in "HEAD is the tip of the current branch".