gitdir: ../../../.git/modules/private/jupyterlab/jupyterlab_colourful_tab_extension
