diff options
| author | Mike Taves <mwtoews@gmail.com> | 2019-06-05 09:29:04 +1200 |
|---|---|---|
| committer | Mike Taves <mwtoews@gmail.com> | 2019-06-05 09:29:04 +1200 |
| commit | 726910a811d4fe28884f3f9bfa2b2a14fc66931e (patch) | |
| tree | 30edf8623f064816ef2ca3a26c74a737879f52a2 /travis | |
| parent | 21ce6dd6b20f8d6eea8881d20952042218827cba (diff) | |
| download | PROJ-726910a811d4fe28884f3f9bfa2b2a14fc66931e.tar.gz PROJ-726910a811d4fe28884f3f9bfa2b2a14fc66931e.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 |