summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorH. Peter Anvin <hpa@zytor.com>2012-11-01 21:42:54 (GMT)
committerH. Peter Anvin <hpa@zytor.com>2012-11-01 21:42:54 (GMT)
commite0bf8f615bc7e2135b76af51688c24e049b3b383 (patch)
treed43191b08dbf7aec5363b33596f1ea87f9714a01
parentc9509977d547f080965d36b52bc0698de4930d4f (diff)
downloadtip-bot-e0bf8f615bc7e2135b76af51688c24e049b3b383.zip
tip-bot-e0bf8f615bc7e2135b76af51688c24e049b3b383.tar.gz
tip-bot-e0bf8f615bc7e2135b76af51688c24e049b3b383.tar.bz2
tip-bot-e0bf8f615bc7e2135b76af51688c24e049b3b383.tar.xz
Also extract .tip/bot
-rwxr-xr-xrobot.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/robot.sh b/robot.sh
index a605f25..0301da7 100755
--- a/robot.sh
+++ b/robot.sh
@@ -14,7 +14,7 @@ master="$topdir/mirrors/tip"
slave="$topdir/tip.git"
date=$(date -uR)
-max_mails=100
+max_mails=200
(
flock -nx 8 || exit 0
@@ -32,7 +32,7 @@ max_mails=100
mkdir -m 0700 -p $tmpdir
rm -rf .tip
- GIT_DIR="$master" git archive --format=tar tip .tip/auto-branches | tar xf -
+ GIT_DIR="$master" git archive --format=tar tip .tip/auto-branches .tip/bot | tar xf -
cat .tip/auto-branches/* "$topdir"/extra-branches | \
"$topdir"/filter-branches.pl | sort | uniq > branches
(