Skip to content

Commit 07b71cd

Browse files
authored
Merge pull request #940 from chicocvenancio/patch-2
Make git_credentials configurable
2 parents 5f7ffff + 5b76312 commit 07b71cd

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

binderhub/repoproviders.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -103,6 +103,7 @@ class RepoProvider(LoggingConfigurable):
103103
help="""
104104
Credentials (if any) to pass to git when cloning.
105105
""",
106+
config=True
106107
)
107108

108109
def is_banned(self):

0 commit comments

Comments
 (0)