[Dev]: Merge tool: repository is no longer private

wesm · Mar 29, 2016 · a58e3be · a58e3be
1 parent 1cf10e2
commit a58e3be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/merge-pr.py b/dev/merge-pr.py
@@ -51,7 +51,7 @@
 
 os.chdir(FEATHER_HOME)
 
-auth_required = True
+auth_required = False
 
 if auth_required:
     GITHUB_USERNAME = os.environ['GITHUB_USER']