Host keys - currently hacking around it with a manual ssh git@git.autonomic.zone -p2222 in a terminal within Jupyter
DOCKER_CONTEXT=... docker secret create for the SSH private key, gotta file (and fix!) a ticket on abra to make it able to load a file directly.
Cloning and updating a repo in the Jupyter Hub GUI
1. Host keys - currently hacking around it with a manual `ssh git@git.autonomic.zone -p2222` in a terminal within Jupyter
2. `DOCKER_CONTEXT=... docker secret create` for the SSH private key, gotta file (and fix!) a ticket on abra to make it able to load a file directly.
3. Cloning and updating a repo in the Jupyter Hub GUI
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
ssh git@git.autonomic.zone -p2222in a terminal within JupyterDOCKER_CONTEXT=... docker secret createfor the SSH private key, gotta file (and fix!) a ticket on abra to make it able to load a file directly.