From 819109304d85356e061407fbaf86eb8ea95523c3 Mon Sep 17 00:00:00 2001 From: Holger Weiss Date: Tue, 8 Jul 2014 14:11:55 +0200 Subject: development.md: Fix coverity branch URL We now have coverity/maint and coverity/master branches. diff --git a/web/input/development.md b/web/input/development.md index 9bd128b..4b654fb 100644 --- a/web/input/development.md +++ b/web/input/development.md @@ -60,7 +60,7 @@ platforms, the results can be [viewed online][tests]. [git-ref]: doc/faq/git.html#references "Git References" [master-branch]: https://github.com/monitoring-plugins/monitoring-plugins/tree/master "Branch master" [maint-branch]: https://github.com/monitoring-plugins/monitoring-plugins/tree/maint "Branch maint" -[coverity-branch]: https://github.com/monitoring-plugins/monitoring-plugins/tree/coverity "Branch coverity" +[coverity-branch]: https://github.com/monitoring-plugins/monitoring-plugins/tree/coverity/master "Branch coverity/master" [master-img]: https://api.travis-ci.org/monitoring-plugins/monitoring-plugins.png?branch=master "Build Status master" [maint-img]: https://api.travis-ci.org/monitoring-plugins/monitoring-plugins.png?branch=maint "Build Status maint" [coverity-img]: https://scan.coverity.com/projects/1435/badge.svg?flat=1 "Coverity Metric" -- cgit v0.10-9-g596f