diff options
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 896c982..821b742 100644 --- a/etc/crontab +++ b/etc/crontab | |||
| @@ -7,4 +7,3 @@ MAILTO=admin@monitoring-plugins.org | |||
| 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 | 9 | 22 6 * * 1 /usr/bin/git --git-dir=$HOME/repositories/monitoring-plugins.git push -q coverity master:coverity/master |
| 10 | 22 6 * * 3 /usr/bin/git --git-dir=$HOME/repositories/monitoring-plugins.git push -q coverity maint:coverity/maint | ||