Han-Wen Nienhuys <hanwen@xxxxxxxxxx> writes: >> > Is this glossary the official definition of what things are? If so, >> > the source code should refer to there. If not -except for confusion- >> > how bad is it if the info in the glossary is inaccurate? >> >> Developer and end-user confusion ensues. > > that's why I said: "except for confusion" :-) > > I'm asking to understand if there is anything stopping us from > changing the glossary to match the current code. I do not think so. It will give us a chance to rethink what we have in the code, too. It is possible that we may end up concluding that it is better to leave a "pseudoref" always as a file inside $GIT_DIR regardless of what ref backend is in use, for example.