diff options
author | Artur Malabarba <bruce.connor.am@gmail.com> | 2015-05-28 20:35:41 +0100 |
---|---|---|
committer | Artur Malabarba <bruce.connor.am@gmail.com> | 2015-05-28 20:35:41 +0100 |
commit | c4973fa7ddf66e11d7c372996e602738eb062d96 (patch) | |
tree | 44080e05a9eaa3e6aec1f6609c5d5c8c6b7b159d | |
parent | 8f3b0abd124af93671781f0a58bdf6301d35b52d (diff) |
[bot.sh] Automate pushing.
-rwxr-xr-x | bot/sx-bot.sh | 14 |
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} |