From c5a422ac4299193574703b7b9f2e0f1e4fd6a99c Mon Sep 17 00:00:00 2001
From: Leonel Lopes Parente <lnlp@appfactors.com>
Date: Mon, 17 May 2021 21:42:40 +0200
Subject: [PATCH] Change raspberrypi platform to official release

---
 platformio.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platformio.ini b/platformio.ini
index 7047c7e..8584f66 100644
--- a/platformio.ini
+++ b/platformio.ini
@@ -715,7 +715,7 @@ build_flags =
 ; On Windows USB driver for Pico [RP2 Boot (interface 1)] needs be installed with Zadig,
 ; see: https://community.platformio.org/t/official-platformio-arduino-ide-support-for-the-raspberry-pi-pico-is-now-available/20792
 ;
-platform = https://github.com/platformio/platform-raspberrypi.git
+platform = raspberrypi
 framework = arduino
 board = pico
 upload_protocol = picotool