Elijah Newren <newren@xxxxxxxxx> writes: > If we are renaming --heads to --branches, should --head also be renamed? I do not think so. It is specifically about HEAD (the thing that lives above refs/ hierarchy, historically implemented as a file whose name is "HEAD" that is directly inside $GIT_DIR). Thanks.
