blob: bb0715d5b37becce849d60359d2a5dfa2fb837bb (
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
|
