update the name of the git repo for docs.