Merge pull request #1 from mdavid/fix/https-github-mirror-integration-for-external-modules

for use behind a firewall that only allows access to ports 80 and 443
Merge pull request #2 from mdavid/fix/https-github-mirror-integration-for-external-modules

Fix/https github mirror integration for external modules
Merge pull request #3 from mdavid/fix/https-github-mirror-integration-for-external-modules

Fix/https github mirror integration for external modules