instructions for repo separating in git-separate-repositories.sh