summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorH. Peter Anvin <hpa@zytor.com>2010-11-09 21:52:45 (GMT)
committerH. Peter Anvin <hpa@zytor.com>2010-11-09 21:52:45 (GMT)
commitfae7044358d81b4c28378197a8d6012121e3cb2e (patch)
treee18bb8c99166785cdb04334cc6932415d80e48aa
parent2bf6f6f12cfb1b111b0a21163b52ad9869bf3411 (diff)
downloadtip-bot-fae7044358d81b4c28378197a8d6012121e3cb2e.zip
tip-bot-fae7044358d81b4c28378197a8d6012121e3cb2e.tar.gz
tip-bot-fae7044358d81b4c28378197a8d6012121e3cb2e.tar.bz2
tip-bot-fae7044358d81b4c28378197a8d6012121e3cb2e.tar.xz
If we failsafe, make sure to unwind the state
-rwxr-xr-xrobot.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/robot.sh b/robot.sh
index fc2d3c8..bbcadb3 100755
--- a/robot.sh
+++ b/robot.sh
@@ -49,6 +49,7 @@ date=$(date -uR)
git rev-list --reverse --no-merges ^linus/master ^$OLD_HEAD $NEW_HEAD > "$tmpdir"/revlist.$$
if [ $(wc -l < "$tmpdir"/revlist.$$) -gt 200 ]; then
# Failsafe!
+ git reset --hard $OLD_HEAD
exit 1
fi
(