Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 893872 - Please create a github mirror for "proj/hardened-refpolicy"
Summary: Please create a github mirror for "proj/hardened-refpolicy"
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Infrastructure
Classification: Unclassified
Component: GitHub (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: GitHub support
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-02-10 19:36 UTC by Kenton Groombridge
Modified: 2023-02-10 20:32 UTC (History)
1 user (show)

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 Kenton Groombridge gentoo-dev 2023-02-10 19:36:39 UTC
The SELinux project would benefit greatly from a Github mirror for Gentoo's SELinux policy. Lately there has been a sizeable influx of new SELinux users who have been finding some rough edges in the policy, and we would like to be able to direct new contributors to this Github mirror to submit pull requests which can then be pulled into our main Git repository on g.o.
Comment 1 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2023-02-10 19:57:27 UTC
Should be set up @ https://github.com/gentoo/hardened-refpolicy

Please push to the repository to get it mirrored and close the bug once you confirm that it works.  A dummy push should suffice.
Comment 2 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2023-02-10 20:02:23 UTC
Oh, and I've given the Hardened project "triage" permissions (i.e. ability to tackle PRs).  Lemme know if you want any other changes on the repo.
Comment 3 Kenton Groombridge gentoo-dev 2023-02-10 20:32:56 UTC
Looks like we're all good. Thanks!