CLEANUP: re-moved the github REST API start of the script, because: a) that is a separate/standalone script b) all this script does is to execute for a list (1 to N) of github repos, HOWEVER this script does NOT care/know how you created such list of repos (as in pipe it in, etc.)