summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorH. Peter Anvin <hpa@zytor.com>2009-10-24 13:11:43 (GMT)
committerH. Peter Anvin <hpa@zytor.com>2009-10-24 13:11:43 (GMT)
commitae7917c0ee5cf7615c7c0244d11dd7f64df67f7d (patch)
tree8cb36161ac2b73bae7c10648249e9f840d3fd5b9
parent565c14a7f3f70255f288ee8c5728a129f10ca93d (diff)
downloadtip-bot-ae7917c0ee5cf7615c7c0244d11dd7f64df67f7d.zip
tip-bot-ae7917c0ee5cf7615c7c0244d11dd7f64df67f7d.tar.gz
tip-bot-ae7917c0ee5cf7615c7c0244d11dd7f64df67f7d.tar.bz2
tip-bot-ae7917c0ee5cf7615c7c0244d11dd7f64df67f7d.tar.xz
Add mechanism to add branches that aren't in auto-branches
-rw-r--r--extra-branches1
-rwxr-xr-xrobot.sh4
2 files changed, 3 insertions, 2 deletions
diff --git a/extra-branches b/extra-branches
new file mode 100644
index 0000000..31e18c4
--- /dev/null
+++ b/extra-branches
@@ -0,0 +1 @@
+test/tip-bot
diff --git a/robot.sh b/robot.sh
index 99e8e4e..1adfb48 100755
--- a/robot.sh
+++ b/robot.sh
@@ -27,8 +27,8 @@ date=$(date -uR)
rm -rf .tip
GIT_DIR="$MASTER" git archive --format=tar tip .tip/auto-branches | tar xf -
- cat .tip/auto-branches/* | "$topdir"/filter-branches.pl | \
- sort | uniq > branches
+ cat .tip/auto-branches/* "$topdir"/extra-branches | \
+ "$topdir"/filter-branches.pl | sort | uniq > branches
(
while read branch; do
GIT_DIR="$MASTER" git rev-parse "$branch"'^{}'