We run our own GitLab installation, and are able to use its public repos as BinderHub sources with no problem. However, we are unable to get BinderHub to pull from any private repo there. I tried to configure BinderHub to do this by looking at the code here: https://github.com/jupyterhub/binderhub/blob/8357c90106be6f30d3d427bc6c9257e7657e48ba/binderhub/repoproviders.py#L163-L264
And thought it might be possible by seeing this:
hostname = Unicode('gitlab.com', config=True,
help="""The host of the GitLab instance
For personal GitLab servers.
"""
)
Does or will BinderHub support pulling from private GitLab repos not hosted at gitlab.com?
Thanks,
–Chris