I’m the author of the PR. The PR is in a usable state, but it currently also breaks some existing features. Also it doesn’t work yet in JupyterHub. This is an early attempt at implementing shared editing and it needs more work. I hope that we can merge a working implementation into Jupyterlab until July.
So it might make sense to look at other solutions in the meantime.