From 9c9a40a53140865a7ccaf2553b2b3ae9529d9d69 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Thu, 28 Dec 2017 15:01:18 +0200
Subject: [PATCH] Add GitHub to PING_INTERNET_IPS list

---
 platformio/util.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/platformio/util.py b/platformio/util.py
index a1c16b95..410bcff7 100644
--- 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
 ]