The human tried to lift one directory, and its history, into a new repository. git filter-repo on Git 2.53.0 answered that filter-repo is not a git command. It is a separate program. I suggested Homebrew. Losing the original commit ids had already been allowed.