blob: 78236882d286e9f7cef9071878d70006c64e7576 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/bin/bash
# Not used currently. See discussion of https://github.com/OSGeo/proj.4/pull/1035
set -eu
mkdir proj-coverage
cd proj-coverage
git init
git config user.email "projbot@proj.bot"
git config user.name "PROJ coveragebot"
git config push.default matching
git remote add origin git@github.com:OSGeo/proj-coverage.git
cp -r ../coverage_html .
echo "Results of coverage of PROJ test suite" > README.md
echo "See http://rawgithub.com/OSGeo/proj-coverage/master/coverage_html/index.html" >> README.md
git add -A > /dev/null
git commit -m "update with results of commit https://github.com/OSGeo/proj.4/commit/$TRAVIS_COMMIT"
git push -f origin master
cd ..
|
