Merge branch 'jbweston-master-patch-09884' into 'master'

add jupyterlab_git, jupyterlab_code_formatter, jupyterlab-lsp, jupyterlab-toc, collapsible-headings and nbgitpuller extensions

See merge request !9
2 jobs for master in 30 minutes and 43 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Mirror
passed #85005
allowed to fail
mirror repository

00:00:22

 
  Build
failed #85006
build image

00:30:20

 
Name Stage Failure
failed
build image Build
INFO[1629] CMD ["startup.sh"]                           
INFO[1629] EXPOSE 22
INFO[1629] cmd: EXPOSE
INFO[1629] Adding exposed port: 22/tcp
INFO[1629] USER $NB_UID
INFO[1629] cmd: USER
error pushing image: failed to push to destination gitlab.kwant-project.org:5005/qt/research-docker:latest: Patch https://gitlab.kwant-project.org:5005/v2/qt/research-docker/blobs/uploads/46a7ba79-ec72-4369-a83b-7b0917f4b358?_state=R_U-Tg61nfWyhN_jidRDlKsAAVOwgoJyS-b7BQEMJih7Ik5hbWUiOiJxdC9yZXNlYXJjaC1kb2NrZXIiLCJVVUlEIjoiNDZhN2JhNzktZWM3Mi00MzY5LWE4M2ItN2IwOTE3ZjRiMzU4IiwiT2Zmc2V0IjowLCJTdGFydGVkQXQiOiIyMDE5LTExLTEyVDE0OjUyOjAwLjMyMTk1ODM3MVoifQ%3D%3D: net/http: HTTP/1.x transport connection broken: write tcp 172.17.0.26:50771->131.180.121.112:5005: write: connection reset by peer
Authenticating with credentials from /root/.docker/config.json
ERROR: Job failed: exit code 1