updated external repos 'git' and 'doc/git/html