aboutsummaryrefslogtreecommitdiff
path: root/bot
diff options
context:
space:
mode:
authorArtur Malabarba <bruce.connor.am@gmail.com>2015-05-28 20:35:41 +0100
committerArtur Malabarba <bruce.connor.am@gmail.com>2015-05-28 20:35:41 +0100
commitc4973fa7ddf66e11d7c372996e602738eb062d96 (patch)
tree44080e05a9eaa3e6aec1f6609c5d5c8c6b7b159d /bot
parent8f3b0abd124af93671781f0a58bdf6301d35b52d (diff)
[bot.sh] Automate pushing.
Diffstat (limited to 'bot')
-rwxr-xr-xbot/sx-bot.sh14
1 files changed, 9 insertions, 5 deletions
diff --git a/bot/sx-bot.sh b/bot/sx-bot.sh
index 22c7284..9bd7f2c 100755
--- a/bot/sx-bot.sh
+++ b/bot/sx-bot.sh
@@ -1,6 +1,7 @@
-#!/usr/bin/bash
+#!/usr/bin/env bash
-DESTINATION_BRANCH=data
+DESTINATION_BRANCH=gh-pages
+CURRENT_BRANCH=$(git rev-parse --abbrev-ref HEAD)
function notify-done {
local title
@@ -23,14 +24,17 @@ function generate-tags {
emacs -Q --batch \
-L "./" -L "./bot/" -l sx-bot \
-f sx-bot-fetch-and-write-tags
- ret = $?
+ ret=$?
notify-done
return ${ret}
}
-git branch ${DESTINATION_BRANCH} &&
+git checkout ${DESTINATION_BRANCH} &&
git pull &&
generate-tags &&
git stage data/ &&
git commit -m "Update tag data" &&
- echo 'Ready for "git push"'
+ git push &&
+ echo 'Bot finished.'
+
+git checkout ${CURRENT_BRANCH}