diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2026-07-03 14:46:35 +0200 |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2026-07-03 14:46:35 +0200 |
| commit | f9b7f42011d17058af9e0691080dfce956252a84 (patch) | |
| tree | 17b0093545a0160a32d3bf082230ebce9b2df540 /etc | |
| parent | b6ec20845df0945003c8955de97fc0105d7e8aeb (diff) | |
| download | site-f9b7f42011d17058af9e0691080dfce956252a84.tar.gz | |
It seems our Coverity setup stopped working a decade ago.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/crontab | 1 |
1 files changed, 0 insertions, 1 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 | |||
| 6 | # | 6 | # |
| 7 | */10 * * * * $HOME/bin/git-mirror $HOME/repositories/[mn]*.git | 7 | */10 * * * * $HOME/bin/git-mirror $HOME/repositories/[mn]*.git |
| 8 | 44 4 * * * $HOME/bin/check-mirrors | 8 | 44 4 * * * $HOME/bin/check-mirrors |
| 9 | 22 6 * * 1 /usr/bin/git --git-dir=$HOME/repositories/monitoring-plugins.git push -q coverity master:coverity/master | ||
| 10 | 22 4 22 * * cd $HOME/etc/ssl/letsencrypt && ./renew.sh | 9 | 22 4 22 * * cd $HOME/etc/ssl/letsencrypt && ./renew.sh |