`repo_dir = repo.split('/')[-1]`

my understanding is that if `repo` is e.g. `https://github.com/org/math-course`, then the current code assumes all the local files sit under `math-course/` in the jupyter server space

my use case is that the root of the repo contents matches the root of the jupyter server (i.e. `repo_dir = '.'`) - (this is closer to how binder works, IIUC)

is it OK to define yet another variable that the URL can define (e.g. `toplevel=.`) ?
or is there already a provision in the current code for my use case, that I failed to spot ?

thanks !