Fix the paths to the different git repo
    
    We've recently moved around the git repo on batcave as we reinstalled
    it in IAD2 and this commit adjust the path to the different git repos.
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>