summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2015-10-08 10:23:32 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2015-10-08 10:23:32 (GMT)
commit7055a8e4bd3653d2cf3faf042f45d5900fab3f13 (patch)
tree2259ddd8b067b512d8fb2757b7a680599d9393ab
parent593092f95240b236c0913eef9b5fbe1f38be74a1 (diff)
downloadsite-7055a8e4bd3653d2cf3faf042f45d5900fab3f13.tar.gz
Drop "maint" branch
Don't build snapshots from the "maint" branch, and don't push it to Coverity Scan. We're going to drop it in favor of "maint-x.y" branches.
-rwxr-xr-xbin/build-snapshots2
-rw-r--r--etc/crontab1
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'
21keep_days=2 21keep_days=2
22snapshot_dir="$prefix/web/download/snapshot" 22snapshot_dir="$prefix/web/download/snapshot"
23repository="$prefix/repositories/monitoring-plugins.git" 23repository="$prefix/repositories/monitoring-plugins.git"
24branches=${*:-'maint master pu'} 24branches=${*:-'master pu'}
25myself=${0##*/} 25myself=${0##*/}
26 26
27make_dist() 27make_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
844 4 * * * $HOME/bin/check-mirrors 844 4 * * * $HOME/bin/check-mirrors
922 6 * * 1 /usr/bin/git --git-dir=$HOME/repositories/monitoring-plugins.git push -q coverity master:coverity/master 922 6 * * 1 /usr/bin/git --git-dir=$HOME/repositories/monitoring-plugins.git push -q coverity master:coverity/master
1022 6 * * 3 /usr/bin/git --git-dir=$HOME/repositories/monitoring-plugins.git push -q coverity maint:coverity/maint