From 676c87d081093183f4cb56179ac64eb356568a5f Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Fri, 30 Nov 2018 01:36:50 +0200
Subject: [PATCH] Allow to override platform "package_repositories"

---
 platformio/managers/platform.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/platformio/managers/platform.py b/platformio/managers/platform.py
index 35e842db..5f7e0adc 100644
--- a/platformio/managers/platform.py
+++ b/platformio/managers/platform.py
@@ -460,8 +460,7 @@ class PlatformBase(  # pylint: disable=too-many-public-methods
         self._manifest = util.load_json(manifest_path)
 
         self.pm = PackageManager(
-            join(util.get_home_dir(), "packages"),
-            self._manifest.get("packageRepositories"))
+            join(util.get_home_dir(), "packages"), self.package_repositories)
 
         self.silent = False
         self.verbose = False
@@ -516,6 +515,10 @@ class PlatformBase(  # pylint: disable=too-many-public-methods
     def engines(self):
         return self._manifest.get("engines")
 
+    @property
+    def package_repositories(self):
+        return self._manifest.get("packageRepositories")
+
     @property
     def manifest(self):
         return self._manifest