Our automated repository checks [1] have detected that the repository registered as 'ros-gentoo' is using a different repo_name in profiles/repo_name file: ros-overlay This is going to cause issues with various Package Managers and even may render the repository unusable to our users. Please either set profiles/repo_name to 'ros-gentoo', or let us know that you would like to have the repository renamed on the official repository list. However, please note that our tools provide no meaningful way of informing users that a repository has been renamed -- therefore it is no different from removing and re-adding the repository with a new name. Please fix the issue ASAP. It prevents our tools from working on the repository, and mirroring it. We reserve the right to remove it if we do not receive any reply within 2 weeks. [1]:https://wiki.gentoo.org/wiki/Project:Repository_mirror_and_CI
@jlec, you seem to be the last person changing overlay name. Care to handle this?
(In reply to Michał Górny from comment #1) > @jlec, you seem to be the last person changing overlay name. Care to handle > this? I remember vaguely that I changed it because of a similar report before. Let me check the history.
commit f0f337a568f5ab22ade8e47a305b21b7f289f7ac Author: Hunter Allen <allen286@purdue.edu> Date: Mon Sep 28 11:05:58 2015 -0400 Update repo_name diff --git a/profiles/repo_name b/profiles/repo_name index 14afd28..d413324 100644 --- a/profiles/repo_name +++ b/profiles/repo_name @@ -1 +1 @@ -ros-gentoo +ros-overlay
commit 3bd7cf5f7937c59a7cc9e0af9fc65703d6b2d56f Author: Justin Lecher <jlec@gentoo.org> Date: Wed Nov 18 08:09:04 2015 +0100 Rename overlay to reflect repo_name change Gentoo-Bug: https://bugs.gentoo.org/show_bug.cgi?id=563948 Signed-off-by: Justin Lecher <jlec@gentoo.org> https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3bd7cf5f7937c59a7cc9e0af9fc65703d6b2d56f
