Disable CoverityHEADmaster

It seems our Coverity setup stopped working a decade ago.

2 files changed, 1 insertions, 7 deletions

diff --git a/etc/crontab b/etc/crontab
index 9f0f3cb..52c917a 100644
--- a/etc/crontab
+++ b/etc/crontab
@@ -6,5 +6,4 @@ MAILTO=admin@monitoring-plugins.org
 #
 */10 * *  * * $HOME/bin/git-mirror $HOME/repositories/[mn]*.git
 44   4 *  * * $HOME/bin/check-mirrors
-22   6 *  * 1 /usr/bin/git --git-dir=$HOME/repositories/monitoring-plugins.git push -q coverity master:coverity/master
 22   4 22 * * cd $HOME/etc/ssl/letsencrypt && ./renew.sh
diff --git a/web/input/development.md b/web/input/development.md
index 67cd3a8..8f2fb1e 100644
--- a/web/input/development.md
+++ b/web/input/development.md
@@ -27,11 +27,9 @@ introduction][git-intro] or [some other Git documentation][git-ref], first.
 ### Integration Tests
 
 Our development workflow includes [continuous integration
-tests][github-ci-actions] hosted by [GitHub Actions][github-actions] and [static code
-analysis][coverity-project] performed by [Coverity Scan][coverity].
+tests][github-ci-actions] hosted by [GitHub Actions][github-actions].
 
 * GitHub CI build status: ![Build Status master][master-img]{: .travis }
-* Coverity metric: ![Coverity Metric][coverity-img]{: .travis }
 
 ### Bundled Test Suite
 
@@ -55,12 +53,9 @@ Also see our testing-related [development FAQs][dev-faq].
 [git-intro]: doc/faq/git.html "Quick Git Introduction"
 [git-ref]: doc/faq/git.html#references "Git References"
 [master-img]:  https://github.com/monitoring-plugins/monitoring-plugins/actions/workflows/test.yml/badge.svg?branch=master "Build Status master"
-[coverity-img]: https://scan.coverity.com/projects/1435/badge.svg?flat=1 "Coverity Metric"
 [libtap]: https://github.com/zorgnax/libtap "LibTap Homepage"
 [dev-faq]: doc/faq/#development "Development FAQs"
 [github-actions]: https://docs.github.com/en/actions "GitHub Docs - GitHub Actions"
 [github-ci-actions]: https://github.com/monitoring-plugins/monitoring-plugins/actions "Monitoring Plugins - Github Workflows"
-[coverity]: https://scan.coverity.com/ "Coverity Scan"
-[coverity-project]: https://scan.coverity.com/projects/1435 "Monitoring Plugins at Coverity Scan"
 
 <!--% # vim:set filetype=markdown textwidth=78 joinspaces expandtab: # %-->