We could put ```$gitlab_repodir = $git_home``` in ```params.pp``` ?