diff --git a/repositories.txt b/repositories.txt
index de2e4422f..9576e9550 100644
--- a/repositories.txt
+++ b/repositories.txt
@@ -8542,3 +8542,4 @@ https://github.com/FranciscoRos/UniversalRadioWSN
 https://github.com/FranciscoRos/AdaptiveTXWSN
 https://github.com/FranciscoRos/CodecWSN
 https://github.com/egnor/everyday_pixel_fonts
+https://github.com/egnor/ok_arduino_logging