record the default branch names of the repos
download zip files from github instead of a git clone

this saves a lot of bandwidth
cosmetic changes
handle "cloning" empty repos