Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 679918 - [hexedit-overlay] Repository URI unaccessible
Summary: [hexedit-overlay] Repository URI unaccessible
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Overlays (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Timofey Negrebetsky
URL: https://qa-reports.gentoo.org/output/...
Whiteboard:
Keywords:
Depends on:
Blocks: repository-qa-issues
  Show dependency tree
 
Reported: 2019-03-10 09:26 UTC by Michał Górny
Modified: 2019-04-05 05:21 UTC (History)
0 users

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

Attachments
Add an attachment (proposed patch, testcase, etc.)

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-03-10 09:26:14 UTC 
Our automated repository checks [1] have detected that the 'hexedit-
overlay' repository can not be synced.

The following URIs are listed for the repository:

  [     svn] https://svn.ifproject.ru/gentoo-overlay/

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 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-03-22 10:55:38 UTC 
Ping.
Comment 2 Timofey Negrebetsky 2019-03-28 18:01:11 UTC 
What I have to do to request changing of repo mirror address?
Comment 3 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-03-28 18:25:32 UTC 
Send a PR to https://github.com/gentoo/api-gentoo-org
Comment 4 Timofey Negrebetsky 2019-03-28 19:16:35 UTC 
(In reply to Michał Górny from comment #3)
> Send a PR to https://github.com/gentoo/api-gentoo-org

Thanks. PR sent. Hope there'll be no more problems, otherwise I'll migrate it to GitHub.
Comment 5 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-04-05 05:21:01 UTC 
The bug seems to be fixed in the repository. Closing.