summaryrefslogtreecommitdiff
path: root/scripts/merge_i18n_update.sh
blob: 5fb42d56e50d05df824fc9f4af76f14682eb9b28 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
#!/bin/sh
set -e

message=`git log -1 --pretty=%B`
git config --global user.name "CircleCI"
git config --global user.email circleci@navit-project.org
git rebase trunk
git checkout trunk
git pull
git merge --squash ${CIRCLE_BRANCH}
git commit -m "${message}"
git push