Adding a new script to check out all repos via the GitHub API. Using a second github-pyton lib for that, just to try which works most intuitively.