From 254dcac1494b8e0653b5fffe23cf1708f085cd50 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Thu, 15 Sep 2016 21:31:56 +0300
Subject: [PATCH] Add Bintray as mirror for development platform manifests

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

diff --git a/platformio/managers/platform.py b/platformio/managers/platform.py
index 152010a9..eecb481c 100644
--- a/platformio/managers/platform.py
+++ b/platformio/managers/platform.py
@@ -30,6 +30,7 @@ class PlatformManager(BasePkgManager):
     def __init__(self, package_dir=None, repositories=None):
         if not repositories:
             repositories = [
+                "https://dl.bintray.com/platformio/dl-platforms/manifest.json",
                 "{0}://dl.platformio.org/platforms/manifest.json".format(
                     "https" if app.get_setting("enable_ssl") else "http")
             ]