From ec2a35266babcd82920361b9001da362caa728c8 Mon Sep 17 00:00:00 2001
From: Thaddee Tyl <thaddee.tyl@gmail.com>
Date: Wed, 15 Jun 2016 23:57:45 +0200
Subject: [PATCH] Hide GitHub user tokens

---
 .gitignore         | 3 ++-
 lib/github-auth.js | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 955831b..0b5b141 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,8 +3,9 @@
 /analytics.json
 /coverage.html
 /redis
-/secret.json
 /ServerScript
+/secret.json
+/.github-user-tokens.json
 
 # Installed npm modules
 node_modules
diff --git a/lib/github-auth.js b/lib/github-auth.js
index f7d06a6..3eeeaf7 100644
--- a/lib/github-auth.js
+++ b/lib/github-auth.js
@@ -11,7 +11,7 @@ try {
   serverSecrets = require('../secret.json');
 } catch(e) {}
 var githubUserTokens;
-autosave('github-user-tokens.json', {data:[]}).then(function(f) {
+autosave('.github-user-tokens.json', {data:[]}).then(function(f) {
   githubUserTokens = f;
 }).catch(function(e) { console.error('Could not create github-user-tokens.json'); });