On Mon, Jun 28, 2021 at 8:24 AM Philip Oakley <philipoakley@iee.email> wrote: > My main point was that there is this creative tension between the > different contexts and that beginners should be aware that it's not all > cut and dried in the same way that language definitions tend to be. Users should be aware that users are humans, and humans are not consistent. Nothing is as cut-and-dried as it might appear, ever. Or, as Kant put it: "Out of the crooked timber of humanity, no straight thing was ever made." https://en.wikipedia.org/wiki/Crooked_Timber (If you want to put fine distinctions on things, some parts of a repository are repository-wide, and some parts are work-tree-specific. The git worktree command, when it adds a new work-tree, adds a new index and HEAD and *_HEAD and other work-tree-specific refs, for instance. That said, I still teach that .git mainly contains the repository proper, with the rest being your working tree -- or, once we introduce git worktree, your *main* working tree.) Chris
