Summary: | Add repository: cdlp | ||
---|---|---|---|
Product: | Gentoo Infrastructure | Reporter: | franz <phranz.dev> |
Component: | Gentoo Overlays | Assignee: | Gentoo Overlays Project <overlays> |
Status: | RESOLVED FIXED | ||
Severity: | trivial | CC: | mgorny |
Priority: | Lowest | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
franz
2021-07-28 16:02:38 UTC
Could you submit a PR to github:gentoo/api-gentoo-org ? Hi, I actually don't have a github account, and I'd prefer not subscribe there; is it really needed to get the repo accepted? Nah. Could you then attach a patch here? (against the github repo or git.g.o:data/api.git) Ok, it seems more fast the github method for me now :-), I'll make a PR (user ph-ranz) as you said, thank you very much. Thanks. The bug has been closed via the following commit(s): https://gitweb.gentoo.org/data/api.git/commit/?id=140627ef301d2355934ea1e3812538252009844b commit 140627ef301d2355934ea1e3812538252009844b Author: Francesco Palumbo <phranz@subfc.net> AuthorDate: 2021-07-28 17:19:20 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2021-07-28 17:35:47 +0000 repositories: add cdlp Closes: https://bugs.gentoo.org/804900 Closes: https://github.com/gentoo/api-gentoo-org/pull/412 Signed-off-by: Michał Górny <mgorny@gentoo.org> files/overlays/repositories.xml | 10 ++++++++++ 1 file changed, 10 insertions(+) |