All git tools moved to 'git-tools' repo.