Add GitHub to PING_INTERNET_IPS list

2017-12-28 15:01:18 +02:00
parent ac4b485521
commit 9c9a40a531
1 changed files with 1 additions and 0 deletions
--- a/platformio/util.py
+++ b/platformio/util.py
@ -656,6 +656,7 @@ def get_api_result(url, params=None, data=None, auth=None, cache_valid=None):


 PING_INTERNET_IPS = [
+    "192.30.253.113",  # github.com
    "159.122.18.156",  # dl.bintray.com
    "193.222.52.25"  # dl.platformio.org
 ]