From 576e234e0f48918c0e94c9accf388a8a945b26fa Mon Sep 17 00:00:00 2001
From: Kevin Rosa <130991185+krosDC@users.noreply.github.com>
Date: Thu, 4 Jul 2024 10:01:10 +0100
Subject: [PATCH] Change library name

We need to change the library name because a rebranding of the product associated to the library.
---
 repositories.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repositories.txt b/repositories.txt
index d228a8a69..99aa4b833 100644
--- a/repositories.txt
+++ b/repositories.txt
@@ -93,7 +93,7 @@ https://github.com/2taras/espwifiarduino_ide_lib
 https://github.com/x0x0200/VARSTEP_ultrasonic
 https://github.com/StefanHerald/Timing
 https://github.com/tdk-invn-oss/pressure.arduino.ICP201XX
-https://github.com/DigitalCodesign/DC-Core-Library
+https://github.com/DigitalCodesign/MentorBit-Library
 https://github.com/tabahi/ESP-Wifi-Config
 https://github.com/tabahi/TabahiConsole
 https://github.com/karolis1115/FTPduino