From 93c182b5b08dd3b6ac7054fe0e539053b73d2ca9 Mon Sep 17 00:00:00 2001
From: Mike McQuaid <mike@mikemcquaid.com>
Date: Tue, 4 Jul 2023 15:14:15 +0100
Subject: [PATCH] repositories: remove raise-dev-library.

The repository was archived.
---
 repositories.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/repositories.txt b/repositories.txt
index f246b413..d37af2f7 100644
--- a/repositories.txt
+++ b/repositories.txt
@@ -4911,7 +4911,6 @@ https://github.com/r89m/PushButton
 https://github.com/radariq/arduino-library
 https://github.com/rafaelnsantos/Relay
 https://github.com/rahulstva/Motor_RS
-https://github.com/raisedevs/raise-dev-library
 https://github.com/ramonheras/Pixel-and-Play-Arduino-Library
 https://github.com/rapifireio/rapifire-arduino-mqtt
 https://github.com/ravelab/JsonLogger