Summary: | [ros-gentoo] Conflicting repository name | ||
---|---|---|---|
Product: | Gentoo Infrastructure | Reporter: | Michał Górny <mgorny> |
Component: | Gentoo Overlays | Assignee: | wyc |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | jlec |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
URL: | https://qa-reports.gentoo.org/output/repos/ros-gentoo.html | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 552950 |
Description
Michał Górny
2015-10-24 09:41:44 UTC
@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 |