summaryrefslogtreecommitdiffstats
path: root/web
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2021-06-25 08:31:38 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2021-06-25 08:31:38 (GMT)
commit80f9d0336c42e67480ae3c8e2486570a194b1328 (patch)
tree27ae1ab0b479749bb273e8cfd3cab91dc3b39f72 /web
parentb61c630cfb3a86203df274751360778d5a1c8ec4 (diff)
downloadsite-80f9d0336c42e67480ae3c8e2486570a194b1328.tar.gz
development.md: Update GitHub URL
The old /monitoring-plugins/repositories URL is dead.
Diffstat (limited to 'web')
-rw-r--r--web/input/development.md2
1 files changed, 1 insertions, 1 deletions
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:
15 15
16These projects are maintained in separate repositories on [GitHub][github]: 16These projects are maintained in separate repositories on [GitHub][github]:
17 17
18* <https://github.com/monitoring-plugins/repositories> 18* <https://github.com/monitoring-plugins>
19 19
20Contributions are always welcome! If you'd like to provide patches, please 20Contributions are always welcome! If you'd like to provide patches, please
21[fork][fork] the desired repository and submit a [pull request][pull]. In 21[fork][fork] the desired repository and submit a [pull request][pull]. In