RepoConfig: fix bug #485006