How do I merge users and data from two notebook servers?
So I have one old notebook server running in my office with some 20 users and there's the new server from the department in the server room, more powerful and maintained by someone that will stay in this university for many years:
Can I merge the users and data from the old notebook server into the new one, so that I can turn the old one off?
I'd be very interested in this answer, esp. with the flask nb.