Use develop branches of pico-sdk and picotool

raspberrypi · Oct 29, 2024 · 2239b8d · 2239b8d
1 parent 54ad547
commit 2239b8d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/config/repositories.json b/config/repositories.json
@@ -2,11 +2,11 @@
   "repositories": [
     {
       "href": "https://github.com/raspberrypi/pico-sdk.git",
-      "tree": "2.0.0"
+      "tree": "develop"
     },
     {
       "href": "https://github.com/raspberrypi/picotool.git",
-      "tree": "2.0.0"
+      "tree": "develop"
     },
     {
       "href": "https://github.com/raspberrypi/openocd.git",