From 80f9d0336c42e67480ae3c8e2486570a194b1328 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Fri, 25 Jun 2021 10:31:38 +0200
Subject: development.md: Update GitHub URL

The old /monitoring-plugins/repositories URL is dead.

diff --git a/web/input/development.md b/web/input/development.md
index bd8f330..e6c2f7e 100644
--- a/web/input/development.md
+++ b/web/input/development.md
@@ -15,7 +15,7 @@ The [Monitoring Plugins Development Team][team] takes care of three projects:
 
 These projects are maintained in separate repositories on [GitHub][github]:
 
-* <https://github.com/monitoring-plugins/repositories>
+* <https://github.com/monitoring-plugins>
 
 Contributions are always welcome!  If you'd like to provide patches, please
 [fork][fork] the desired repository and submit a [pull request][pull].  In
-- 
cgit v0.10-9-g596f