Since !3016 (merged) the mutter-dist job fails because it can't access to the git repo, we can't just fix it alone because cloning as "root" before that our CI image does the job may lead to git permission errors, so handle all this manually and only when required.