diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2021-06-25 08:31:38 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2021-06-25 08:31:38 (GMT) |
| commit | 80f9d0336c42e67480ae3c8e2486570a194b1328 (patch) | |
| tree | 27ae1ab0b479749bb273e8cfd3cab91dc3b39f72 /web/input | |
| parent | b61c630cfb3a86203df274751360778d5a1c8ec4 (diff) | |
| download | site-80f9d0336c42e67480ae3c8e2486570a194b1328.tar.gz | |
development.md: Update GitHub URL
The old /monitoring-plugins/repositories URL is dead.
Diffstat (limited to 'web/input')
| -rw-r--r-- | web/input/development.md | 2 |
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 | ||
| 16 | These projects are maintained in separate repositories on [GitHub][github]: | 16 | These 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 | ||
| 20 | Contributions are always welcome! If you'd like to provide patches, please | 20 | Contributions 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 |