Manually set GH_TOKEN env var (#937)

Author: SamCarlberg

.azure-scripts/push-javadoc-to-gh-pages.sh

@@ -15,15 +15,15 @@ echo -e "Publishing javadoc...\n"
 cp -R build/docs/javadoc $HOME/javadoc-latest
 
 cd $HOME
-git config user.email "azuredevops@microsoft.com"
-git config user.name "azure-pipelines"
+git config --global user.email "azuredevops@microsoft.com"
+git config --global user.name "azure-pipelines"
 git clone --quiet --branch=gh-pages https://${GH_TOKEN}@github.com/WPIRoboticsProjects/grip gh-pages #> /dev/null
 
 cd gh-pages
 git rm -rf ./javadoc
 cp -Rf $HOME/javadoc-latest ./javadoc
 git add -f .
-git commit -m "Lastest javadoc on successful Azure build ${BUILD_BUILD_NUMBER} auto-pushed to gh-pages"
+git commit -m "Lastest javadoc on successful Azure build ${BUILD_BUILDNUMBER} auto-pushed to gh-pages"
 git push -fq origin gh-pages #> /dev/null
 
 echo -e "Published Javadoc to gh-pages.\n"

azure-pipelines.yml

@@ -38,6 +38,7 @@ jobs:
           contents: 'ui/build/installer/GRIP-*.deb'
           targetFolder: $(Build.ArtifactStagingDirectory)
       - script: |
+          export GH_TOKEN=$(GH_TOKEN)
           .azure-scripts/push-javadoc-to-gh-pages.sh
         displayName: 'Publish Javadocs'
         condition: |