mahdi.dependencies: adjust because we have switched to github as remote