Add support for GIT_CREDENTIAL_ENV to build private repos

[jtpio]

Fixes #27

This makes it possible to pass a username and password from the UI:

private-repo.mp4

Using repo2docker support for GIT_CREDENTIAL_ENV (some info in jupyterhub/repo2docker@504aeb7)

For example with GitHub, a user can generate a new access token with the read scope:

And use this token as the password.

Similar with GitLab:

[jtpio]

Hiding the credential inputs in a <section> tag:

optional-credentials.mp4

[jtpio]

cc @adriendelsalle this makes it possible to provide credentials to be able to clone private repositories.

It looks like providing a username and password might be a better option than using basic auth in the repo URL and then stripping it. This also leverages the GIT_CREDENTIAL_ENV env var from repo2docker, which is also used in Binder (via the git_credentials trait)

[srggrs]

when this is going to be merged?

[jtpio]

@srggrs probably soon.

If you would like to test, you can install the plugin from this branch with the following passed to the TLJH installer:

--plugin git+https://github.com/jtpio/tljh-repo2docker@private-repos

[jtpio]

cc @pierrepo in case you have some inputs w.r.t the UI, since it adds two new fields to the dialog (collapsed by default)

[pierrepo]

Hey @jtpio sorry for the delay.
This looks very nice to me. This is a very useful functionality.

[jtpio]

Thanks for checking it out 👍