fixed fix_github_https_repo.sh for mac