Jeff King <p...@peff.net> writes: > I admit both of those are uses for git _developers_, though, not git > _users_.
Yes, this is meant for developers and not users. The initial question probably should have stated more explicitly, e.g. "I am wondering if it would be helpful to developers if we add this thing; does anybody think of a reason why exposing it to end users is a bad idea?"
