revert jedi change to gitmodules