From 141778c29b19c18a2967af7b7086770da8ce20a3 Mon Sep 17 00:00:00 2001
From: Matt Trentini <matt.trentini@gmail.com>
Date: Fri, 14 Feb 2025 10:42:47 +1100
Subject: [PATCH] Handle when the url key is not present in board.json

---
 src/mpbuild/board_database.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mpbuild/board_database.py b/src/mpbuild/board_database.py
index 83ad073..3260fa6 100644
--- a/src/mpbuild/board_database.py
+++ b/src/mpbuild/board_database.py
@@ -110,7 +110,7 @@ def factory(port: Port, filename_json: Path) -> Board:
         board = Board(
             name=filename_json.parent.name,
             variants=[],
-            url=board_json["url"],
+            url=board_json.get("url", "http://micropython.org"),
             mcu=board_json["mcu"],
             product=board_json["product"],
             vendor=board_json["vendor"],