From 05e407f0648bb01224cc3003a0c04003e7b10df9 Mon Sep 17 00:00:00 2001
From: Anuken <arnukren@gmail.com>
Date: Thu, 5 Jul 2018 18:56:33 -0400
Subject: [PATCH] Delete github_settings.xml

---
 github_settings.xml | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 github_settings.xml

diff --git a/github_settings.xml b/github_settings.xml
deleted file mode 100644
index 0e4cecb1ec..0000000000
--- a/github_settings.xml
+++ /dev/null
@@ -1,5 +0,0 @@
-<application>
-  <component name="GithubSettings">
-    <option name="AUTH_TYPE" value="TOKEN" />
-  </component>
-</application>
\ No newline at end of file