Optionally authenticate to the GitHub API

Author: Bjwebb

prefix_finder/frontend/views.py

@@ -181,7 +181,8 @@ def refresh_data(branch="master"):
 
     try:
         sha = requests.get(
-            'https://api.github.com/repos/org-id/register/branches/'+branch
+            'https://api.github.com/repos/org-id/register/branches/'+branch,
+            auth=(settings.GITHUB_USER, settings.GITHUB_API_TOKEN) if settings.GITHUB_USER and settings.GITHUB_API_TOKEN else ''
         ).json()['commit']['sha']
         using_github = True
         if sha == git_commit_ref.get(branch,''):

prefix_finder/settings.py

@@ -32,6 +32,8 @@
     SECRET_KEY=(str, secret_key),
     DB_NAME=(str, os.path.join(BASE_DIR, 'db.sqlite3')),
     LOCAL_DATA=(bool, False),
+    GITHUB_USER=(str, ''),
+    GITHUB_API_TOKEN=(str, ''),
 )
 
 PIWIK = {
@@ -40,6 +42,8 @@
 }
 
 LOCAL_DATA = env('LOCAL_DATA')
+GITHUB_USER = env('GITHUB_USER')
+GITHUB_API_TOKEN = env('GITHUB_API_TOKEN')
 
 # Quick-start development settings - unsuitable for production
 # See https://docs.djangoproject.com/en/1.8/howto/deployment/checklist/