There's no way for us to configure binderhub to allow passing additional args to repo2docker. This is helpful when used with https://github.com/jupyterhub/binderhub/pull/1647 for example - I wanna pass repo_dir to be /srv/repo, as when used with a persistent home directory $HOME is overriden with persistent directory. Instead of adding each possible option, we should just allow a passthrough.
This is only configured by admins setting up binderhub, not end users.
There's no way for us to configure binderhub to allow passing additional args to repo2docker. This is helpful when used with https://github.com/jupyterhub/binderhub/pull/1647 for example - I wanna pass
repo_dirto be/srv/repo, as when used with a persistent home directory $HOME is overriden with persistent directory. Instead of adding each possible option, we should just allow a passthrough.This is only configured by admins setting up binderhub, not end users.