Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 698356 - [whiledev] Repository URI unaccessible
Summary: [whiledev] Repository URI unaccessible
Status: RESOLVED OBSOLETE
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Overlays (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Felix
URL: https://qa-reports.gentoo.org/output/...
Whiteboard:
Keywords:
Depends on:
Blocks: repository-qa-issues
  Show dependency tree
 
Reported: 2019-10-23 12:19 UTC by Michał Górny
Modified: 2019-10-30 09:37 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 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 Gentoo Infrastructure gentoo-dev Security 2019-10-30 09:37:23 UTC
The repository has been removed, rendering this bug obsolete.