Specify repo_name to prevent intermittent duplicate project names. Fixes #852