summaryrefslogtreecommitdiff
path: root/ci/merge_i18n_update.sh
blob: 1943b27e4cb4211e050a66f73ea4a93133d661b1 (plain)
1
2
3
4
5
6
7
8
9
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