A Jupyter merge driver for git
Briefly