Robert a2320d2d9d Prevent potential firewall problem with git clone (#3094) ...

The better solution might well be to do this locally, using either

```
git config --global url."https://".insteadOf git://
```

or

```
git config --global url."https://github.com".insteadOf git://github.com
```

However, we don't live in an ideal world so this commit intends to lower the barrier to entry.

See https://stackoverflow.com/questions/16298986/unable-to-connect-to-github-com-for-cloning for more information.

2017-08-19 21:21:20 +02:00

488 B

Raw Blame History

View Raw