1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
echo "## setup..."
git config --global user.name "Stephen Colebourne (CI)"
git config --global user.email "scolebourne@joda.org"
cd target
echo "## clone..."
git clone https://${GITHUB_TOKEN}@github.com/ThreeTen/threeten.github.io.git
cd threeten.github.io
git status
echo "## copy..."
rm -rf threeten-extra/
cp -R ../site threeten-extra/
echo "## update..."
git add -A
git status
git commit --message "Update threeten-extra from Travis: Build $TRAVIS_BUILD_NUMBER"
echo "## push..."
git push origin master
echo "## done"
|
