Make git_credentials configurable

chicocvenancio · web-flow · commit 5b7631249525 · 2019-08-28T17:41:31.000-03:00
FIX #918 This is not a complete solution, as it only allows one credential to be used, but it does allow arbitrary private repos to be used.
diff --git a/binderhub/repoproviders.py b/binderhub/repoproviders.py
@@ -103,6 +103,7 @@ class RepoProvider(LoggingConfigurable):
         help="""
         Credentials (if any) to pass to git when cloning.
         """,
+        config=True
     )
 
     def is_banned(self):

Original file line number	Diff line number	Diff line change
`@@ -103,6 +103,7 @@ class RepoProvider(LoggingConfigurable):`
`103`	`103`	`help="""`
`104`	`104`	`Credentials (if any) to pass to git when cloning.`
`105`	`105`	`""",`
	`106`	`+ config=True`
`106`	`107`	`)`
`107`	`108`
`108`	`109`	`def is_banned(self):`