chore(build): allow PRs from separate repos to test deployment scripts

Author: cipher1024

.travis.yml

@@ -5,6 +5,8 @@ os:
 branches:
   except:
     - /^lean-.*$/
+env:
+  - secure: "HxnRtl6pMc+nbszQgDgvMuroMG5AuviULPb0MxPfEIZqYSwKALgc0ILXc89kJyf9rFfpsUdKGmtrGOytzXIp8Yuxvp+fnk/rtuuRyMLeWA0sJ75/Jn+l0BKVid6LNwl7bA4aMOSkjL85kaxU2e5HtlROUkiAgmdAcV10BoK7Vh7yC/S4Zl3kzyCQd8AGSxk0AbeQrb9vK7T1+gWVkEjUFtUsFJ3q5SGrO/j3825qLoRnYj/bKUgtYExQNKjTnTYMbeok+mKJEO1VbLeTk1ri8bLyO2x25lhGImaJSgdPOzuH905ALrf+EHkKm/FYvy5w+zERiuidwwFK5OqVOVWsD5W0G5rYKmDKpzSd39FNnrvb2Tzl2kCin70j6SDOXyZ+4k/iGJpBnOtx3+Ez4gsBDWLIba1c5EXvzhvPoycddgSLBY2LNz4EJI+YqbBTBxG7dVr4NmKKjPowFerVMLM10SgkH9ZZjbAVMxejUJTzp/4gxTanlWm/xds5uC0E0mraLY1H1yzGtwij/lVJN8RGbuhvW9jluLYQzfN7Hb/MReBXTKwdVo5SnsZzv9GEM56IsQXgIhzRoHAuDHd8rS1rfXGaOVfsbYK7pBjtx9j+Pq3BNSPlIL5u4j2JXH6QVJSNaK1npCq81S21dIBfYTP49ft28bhgVE0czkD7kl3fCCk="
 
 cache:
   directories:
@@ -54,7 +56,7 @@ jobs:
       python:
         - "3.6"
       install:
-        - if [ '$GITHUB_TOKEN' != '' ]; then git config --add github.oauthtoken $GITHUB_TOKEN; echo setting up GitHub credentials; else echo no GitHub credentials available; fi
+        - if [ '$GITHUB_CRED' != '' ]; then git config --add github.oauthtoken $GITHUB_CRED; echo setting up GitHub credentials; else echo no GitHub credentials available; fi
       os:
         - linux
       script:
@@ -66,7 +68,7 @@ jobs:
     - env: TASK="check install scripts"
       language: sh
       install:
-        - if [ '$GITHUB_TOKEN' != '' ]; then git config --add github.oauthtoken $GITHUB_TOKEN; echo setting up GitHub credentials; else echo no GitHub credentials available; fi
+        - if [ '$GITHUB_CRED' != '' ]; then git config --add github.oauthtoken $GITHUB_CRED; echo setting up GitHub credentials; else echo no GitHub credentials available; fi
       os:
         - osx
       script:
@@ -81,7 +83,7 @@ jobs:
       python:
         - "3.6"
       install:
-        - if [ '$GITHUB_TOKEN' != '' ]; then git config --add github.oauthtoken $GITHUB_TOKEN; echo setting up GitHub credentials; else echo no GitHub credentials available; fi
+        - if [ '$GITHUB_CRED' != '' ]; then git config --add github.oauthtoken $GITHUB_CRED; echo setting up GitHub credentials; else echo no GitHub credentials available; fi
       os:
         - linux
       script:
@@ -96,7 +98,7 @@ jobs:
     - env: TASK="check dev scripts"
       language: sh
       install:
-        - if [ '$GITHUB_TOKEN' != '' ]; then git config --add github.oauthtoken $GITHUB_TOKEN; echo setting up GitHub credentials; else echo no GitHub credentials available; fi
+        - if [ '$GITHUB_CRED' != '' ]; then git config --add github.oauthtoken $GITHUB_CRED; echo setting up GitHub credentials; else echo no GitHub credentials available; fi
       os:
         - osx
       script:

appveyor.yml

@@ -6,6 +6,8 @@ build: off
 #     - appveyor.yml
 
 environment:
+  GITHUB_CRED:
+    secure: RPr/nQN2GbjWFfbUiBzpVeO/ojQYoAeqHjOAUhvzHk3DnrbY72zR6yUQQ8AETGtG
   matrix:
     - PYTHON: "Python36"
       PYTHON_VERSION: "3.6.x"
@@ -15,7 +17,7 @@ environment:
       PYTHON_ARCH: "64"
 
 test_script:
-    - sh -c "if [ '%GITHUB_TOKEN%' != '' ]; then git config --add github.oauthtoken %GITHUB_TOKEN%; echo setting up GitHub credentials; else echo no GitHub credentials available; fi"
+    - sh -c "if [ '%GITHUB_CRED%' != '' ]; then git config --add github.oauthtoken % GITHUB_CRED%; echo setting up GitHub credentials; else echo no GitHub credentials available; fi"
     - "SET PATH=C:\\Users\\appveyor\\AppData\\Roaming\\Python\\%PYTHON%\\Scripts;C:\\%PYTHON%;C:\\%PYTHON%\\Scripts; %PATH%"
     - sh -c "echo export PATH=\\\"/c/Users/appveyor/AppData/Roaming/Python/%PYTHON%/Scripts:/c/%PYTHON%:/c/%PYTHON%/Scripts:\$PATH\\\" >> $HOME/.profile"
     - "python --version"