I think what you say is true but git exacerbates it significantly by layering ultra confusing terms on top. It's slowly being fixed in small ways but things like making "checkout" have multiple meanings both of which conflict to conventional usage in other version control tools is really inexcusable and nothing to do with graph theory.