Move GITHUB_TOKEN in tools/download.sh

Sergei Vorobev · Sergei Vorobev · commit 1d8a181f607d · 2016-07-21T10:51:59.000-07:00
diff --git a/.travis.yml b/.travis.yml
@@ -7,9 +7,6 @@ sudo: required
 dist: trusty
 osx_image: xcode8
 
-env:
-  - GITHUB_TOKEN=a27573e27bea23fb05393ead69511b09e3b224be
-
 cache:
   directories:
     - $HOME/.dotnet
diff --git a/docs/building/linux.md b/docs/building/linux.md
@@ -40,7 +40,6 @@ Of course, this requires a self-hosted copy of PowerShell on Linux.
 
 Fortunately, this is as easy as downloading and installing the package. 
 Unfortunately, while the repository is still private, the package cannot be downloaded as simply as with `wget`. 
-We have a script that wraps the GitHub API and uses a personal access token to authorize in order to obtain the package.
 
 The `./tools/download.sh` script will also install the PowerShell package.
 
@@ -50,7 +49,6 @@ The `./tools/download.sh` script will also install the PowerShell package.
 In Bash:
 
 ```sh
-GITHUB_TOKEN=<replace with your token>
 ./tools/download.sh
 
 powershell
diff --git a/tools/download.sh b/tools/download.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-[[ -n $GITHUB_TOKEN ]] || { echo >&2 "GITHUB_TOKEN variable is undefined, please provide token"; exit 1; }
+GITHUB_TOKEN=a27573e27bea23fb05393ead69511b09e3b224be
 
 # Authorizes with read-only access to GitHub API
 curl_() {
