a5545ea
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>