From 2d24d18ff8515ef0ea61d0c3799121f61afb3bfc Mon Sep 17 00:00:00 2001
From: Thaddee Tyl <thaddee.tyl@gmail.com>
Date: Sun, 17 Jan 2016 21:02:42 +0100
Subject: [PATCH] Mention purpose of GitHub private tokens

See #578.
---
 server.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/server.js b/server.js
index 82bf3b1..09a0a50 100644
--- a/server.js
+++ b/server.js
@@ -4898,7 +4898,9 @@ var githubHeaders = {
   'Accept': 'application/vnd.github.v3+json'
 };
 
-// You can manage your personal github token at https://github.com/settings/tokens
+// Personal tokens allow access to GitHub private repositories.
+// You can manage your personal GitHub token at
+// <https://github.com/settings/tokens>.
 if (serverSecrets && serverSecrets.gh_token) {
   githubHeaders['Authorization'] = 'token ' + serverSecrets.gh_token;
 }