David Brochart
David Brochart
It's actually up-to-date.
I don't understand, what is named `master`?
bot please update galata snapshots
I renamed `master` to `main`, but it still doesn't work.
> So maybe there could instead be a way for configuring this behavior, so the `jupyter-shared-drive` extension could choose to not have this default empty cell? This would help not...
Well, in the end I just added a new setting called `allowEmptyNotebook`, which defaults to `false`, i.e. a cell is added when the notebook is empty.
Should we include this PR to 4.3.0?
That doesn't work for e.g. a WebRTC provider, because we cannot wait until synchronization is done after connecting to a room, unlike in jupyter-collaboration where we are certain synchronization will...
I think they are quite orthogonal, apart from allowing to get rid of the `RTC:` prefix in `jupyter-collaboration`, but that's a side-effect.
But when do we know that it is the final state of the output?