documentation for the git-repos script