| Summary: | Moving layman repo out of gentoo/ GitHub | ||
|---|---|---|---|
| Product: | Gentoo Infrastructure | Reporter: | Michał Górny <mgorny> |
| Component: | GitHub | Assignee: | Layman Overlay Manager project <layman> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Bug Depends on: | |||
| Bug Blocks: | 698358 | ||
I see that the repos match, so I've just enabled automatic mirroring and pushed one missing branch to git.g.o. |
The following GitHub repositories in the gentoo/ namespace seem to belong to you: layman We'd like to remove all original repositories from GitHub, and keep only mirrors of whatever's on git.gentoo.org. Therefore: 1. If some of those repositories are already on git.gentoo.org, please verify whether GitHub has no new content and ping me set up mirroring. 2. Alternatively, please consider moving them to git.gentoo.org. Let me know if you need the repos created and whether you want them mirrored to GitHub, or there is no need for that. 3. Alternatively, I can transfer the ownership to your private GitHub account. 4. Finally, we can remove them if they have no original content.