[Jupyter] Re: nbgitpuller synchronisiert nicht mehr