I edited the git.texi