summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorH. Peter Anvin <hpa@zytor.com>2014-06-06 21:59:18 (GMT)
committerH. Peter Anvin <hpa@zytor.com>2014-06-06 21:59:18 (GMT)
commit370c77bbfac4a24ddfa975533d96110a49933445 (patch)
tree9719c2654c6cdcc1376e1be9634ae6389432e564
parent139f429d3d997ac5b1370f6d1c6cdef59ed138fa (diff)
downloadtip-bot-370c77bbfac4a24ddfa975533d96110a49933445.zip
tip-bot-370c77bbfac4a24ddfa975533d96110a49933445.tar.gz
tip-bot-370c77bbfac4a24ddfa975533d96110a49933445.tar.bz2
tip-bot-370c77bbfac4a24ddfa975533d96110a49933445.tar.xz
Add linus/next to the list of branches to filter
-rwxr-xr-xrobot.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/robot.sh b/robot.sh
index 5c03763..dee4bf1 100755
--- a/robot.sh
+++ b/robot.sh
@@ -56,7 +56,8 @@ max_mails=200
baselines=$(sed -ne 's:^tree/:refs/remotes/origin/:p' < "$topdir"/branches)
if [ x"$NEW_HEAD" != x"$OLD_HEAD" ]; then
- git rev-list --reverse --no-merges ^linus/master $baselines ^$OLD_HEAD $NEW_HEAD > "$tmpdir"/revlist.$$
+ git rev-list --reverse --no-merges ^linus/master ^linus/next $baselines ^$OLD_HEAD $NEW_HEAD \
+ > "$tmpdir"/revlist.$$
count=$(wc -l < "$tmpdir"/revlist.$$)
if [ $count -gt $max_mails ]; then
# Failsafe!