Bug 698356

Summary:	[whiledev] Repository URI unaccessible
Product:	Gentoo Linux	Reporter:	Michał Górny <mgorny>
Component:	Overlays	Assignee:	Felix <me>
Status:	RESOLVED OBSOLETE
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	https://qa-reports.gentoo.org/output/repos/whiledev.html
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	552950

Description Michał Górny archtester

2019-10-23 12:19:21 UTC

Our automated repository checks [1] have detected that the 'whiledev'
repository can not be synced.

The following URIs are listed for the repository:

  [     git] https://github.com/whiledev/whiledev-overlay.git

Please verify that the server hosting the repository is working
correctly. If the repository has been moved to a new location or removed
altogether, please let us know to update the record appropriately.

We reserve the right to remove the repository if we do not receive any
reply within 2 weeks.

[1]:https://wiki.gentoo.org/wiki/Project:Repository_mirror_and_CI

Comment 1 Larry the Git Cow gentoo-dev

2019-10-28 14:38:26 UTC

The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/data/api.git/commit/?id=a4bfdf1448ceb73c0ab06447bca9e52e0db30a11

commit a4bfdf1448ceb73c0ab06447bca9e52e0db30a11
Author:     Michał Górny <mgorny@gentoo.org>
AuthorDate: 2019-10-28 14:38:00 +0000
Commit:     Michał Górny <mgorny@gentoo.org>
CommitDate: 2019-10-28 14:38:00 +0000

    repositories: Remove removed whiledev repo
    
    Bug: https://bugs.gentoo.org/698356
    Signed-off-by: Michał Górny <mgorny@gentoo.org>

 files/overlays/repositories.xml | 10 ----------
 1 file changed, 10 deletions(-)

Comment 2 Felix 2019-10-28 15:10:58 UTC

feel free to remove it

Comment 3 Michał Górny archtester

2019-10-30 09:37:23 UTC

The repository has been removed, rendering this bug obsolete.