diff options
-rwxr-xr-x | bin/build-snapshots | 2 | ||||
-rw-r--r-- | etc/crontab | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/bin/build-snapshots b/bin/build-snapshots index 4c016c5..735aa16 100755 --- a/bin/build-snapshots +++ b/bin/build-snapshots | |||
@@ -21,7 +21,7 @@ prefix='/home/plugins' | |||
21 | keep_days=2 | 21 | keep_days=2 |
22 | snapshot_dir="$prefix/web/download/snapshot" | 22 | snapshot_dir="$prefix/web/download/snapshot" |
23 | repository="$prefix/repositories/monitoring-plugins.git" | 23 | repository="$prefix/repositories/monitoring-plugins.git" |
24 | branches=${*:-'maint master pu'} | 24 | branches=${*:-'master pu'} |
25 | myself=${0##*/} | 25 | myself=${0##*/} |
26 | 26 | ||
27 | make_dist() | 27 | make_dist() |
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 | ||