1 |
> On 12 Aug 2021, at 23:35, William Hubbs <williamh@g.o> wrote: |
2 |
> |
3 |
> I spoke with several people on the #gentoo-hardened channel and no one |
4 |
> knows of any place where these profiles are being used. |
5 |
> |
6 |
> I'll apply this patch early on Aug 16 UTC if no one objects. |
7 |
> |
8 |
|
9 |
I should've thought about this earlier, but ask in #gentoo-releng too |
10 |
to see if they can check spec files for any mention. I'd ping blueness too. |
11 |
|
12 |
> William Hubbs (1): |
13 |
> profiles/hardened: remove the legasy musl profiles |
14 |
|
15 |
s/legasy/legacy/. |
16 |
|
17 |
Could you also do a CI run on GitHub or something to make sure |
18 |
it doesn't break the tree? Simply pushing a branch will work and I can |
19 |
create the pull request. |
20 |
|
21 |
You can run it manually but it's more of a pain: |
22 |
https://github.com/mgorny/repo-mirror-ci/tree/master/gentoo-ci. |
23 |
|
24 |
best, |
25 |
sam |