diff --git a/user-doc/go-spelling b/user-doc/go-spelling index 90e8af1be355352012eae7e7a396d14491ff077a..cef821fd3532ae667e926c8f1d381a45b2b62591 100755 --- a/user-doc/go-spelling +++ b/user-doc/go-spelling @@ -63,14 +63,14 @@ if test -z $TRAVIS ; then # If not a pull request add a comment on the commit message elif [ $TRAVIS_PULL_REQUEST=="false" ] ; then ASPELL_RESULTS=`cat spelling_results` - curl -i -H "Authorization: token $GITHUB_TOKEN" \ + curl -i -H "Authorization: token $GIT_TOKEN" \ -H "Content-Type: application/json" \ -X POST -d "{\"body\":\"$ASPELL_RESULTS\"}" \ https://api.github.com/repos/plumed/plumed2/commits/$TRAVIS_COMMIT/comments #Â If it is a pull request comment on the pull request else ASPELL_RESULTS=`cat spelling_results` - curl -i -H "Authorization: token $GITHUB_TOKEN" \ + curl -i -H "Authorization: token $GIT_TOKEN" \ -H "Content-Type: application/json" \ -X POST -d "{\"body\":\"$ASPELL_RESULTS\"}" \ https://api.github.com/repos/plumed/plumed2/issues/$TRAVIS_PULL_REQUEST/comments