gaia-local-repo to manage gaia-local and gaia-distribution with repo script