diff options
| author | Mike Taves <mwtoews@gmail.com> | 2019-06-04 21:29:04 +0000 |
|---|---|---|
| committer | Mike Taves <mwtoews@gmail.com> | 2019-06-04 21:29:04 +0000 |
| commit | bb477269900a809c9fd3727b82552d471d69e796 (patch) | |
| tree | b95235d5fa439bdb65ba677d367db6ab8aca180f /travis | |
| parent | e16b5585d59f1e153d67f04c8199a2468b89563f (diff) | |
| download | PROJ-bb477269900a809c9fd3727b82552d471d69e796.tar.gz PROJ-bb477269900a809c9fd3727b82552d471d69e796.zip | |
Update GitHub references: proj.4 -> PROJ
Diffstat (limited to 'travis')
| -rwxr-xr-x | travis/deploy_website.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/travis/deploy_website.sh b/travis/deploy_website.sh index 01b92cbf..ae96bad6 100755 --- a/travis/deploy_website.sh +++ b/travis/deploy_website.sh @@ -13,10 +13,10 @@ cp $builddir/latex/proj.pdf $destdir/projdocs cd $destdir/projdocs git init git checkout -b gh-pages -git remote add origin git@github.com:OSGeo/proj.4.git +git remote add origin git@github.com:OSGeo/PROJ.git -git config user.email "proj4bot@proj4.bot" -git config user.name "proj.4 deploybot" +git config user.email "proj.bot@proj.bot" +git config user.name "PROJ deploybot" # A few files we must manually create echo "_site" > .gitignore @@ -24,6 +24,6 @@ touch .nojekyll echo "proj.org" > CNAME git add -A -git commit -m "update with results of commit https://github.com/OSGeo/proj.4/commit/$TRAVIS_COMMIT" +git commit -m "update with results of commit https://github.com/OSGeo/PROJ/commit/$TRAVIS_COMMIT" git push -f origin gh-pages |