Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 847088 - [jmbsvicetto] Repository URI unaccessible
Summary: [jmbsvicetto] Repository URI unaccessible
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Overlays (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Jorge Manuel B. S. Vicetto (RETIRED)
URL: https://qa-reports.gentoo.org/output/...
Whiteboard:
Keywords:
Depends on:
Blocks: repository-qa-issues
  Show dependency tree
 
Reported: 2022-05-23 12:27 UTC by Thomas Bracht Laumann Jespersen
Modified: 2022-05-25 11:51 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 Thomas Bracht Laumann Jespersen 2022-05-23 12:27:27 UTC
Our automated repository checks [1] have detected that the 'jmbsvicetto'
repository can not be synced.

The following URIs are listed for the repository:

  [     git] https://anongit.gentoo.org/git/dev/jmbsvicetto.git

  [     git] git://anongit.gentoo.org/dev/jmbsvicetto.git

  [     git] git+ssh://git@git.gentoo.org/dev/jmbsvicetto.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 Jorge Manuel B. S. Vicetto (RETIRED) gentoo-dev 2022-05-23 21:39:48 UTC
The repository was moved from dev/jmbsvcicetto to repo/dev/jmbsvicetto.
Comment 2 Thomas Bracht Laumann Jespersen 2022-05-25 11:43:17 UTC
(In reply to Jorge Manuel B. S. Vicetto from comment #1)
> The repository was moved from dev/jmbsvcicetto to repo/dev/jmbsvicetto.
I opened a PR to fix: https://github.com/gentoo/api-gentoo-org/pull/523
Comment 3 Larry the Git Cow gentoo-dev 2022-05-25 11:51:32 UTC
The bug has been closed via the following commit(s):

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

commit cd0d74bca18432c91e8ae91c29f56bd89197aed0
Author:     Thomas Bracht Laumann Jespersen <t@laumann.xyz>
AuthorDate: 2022-05-24 19:34:50 +0000
Commit:     Jakov Smolić <jsmolic@gentoo.org>
CommitDate: 2022-05-25 11:51:10 +0000

    repositories.xml: update source urls for 'jmbsvicetto'
    
    Closes: https://bugs.gentoo.org/847088
    Signed-off-by: Thomas Bracht Laumann Jespersen <t@laumann.xyz>
    Closes: https://github.com/gentoo/api-gentoo-org/pull/523
    Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>

 files/overlays/repositories.xml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)