1 |
On Tue, Dec 19, 2017 at 4:14 PM, Elvis Pranskevichus <elvis@×××××.io> wrote: |
2 |
> On Tuesday, December 19, 2017 3:44:26 PM EST R0b0t1 wrote: |
3 |
>> How easy is it to move patches to Gentoo infrastructure if the patches |
4 |
>> are not provided by upstream? I am slightly uncomfortable with |
5 |
>> everything being pushed to websites like GitHub by default. |
6 |
> |
7 |
> How are patches different from other distfiles? Plenty of packages are |
8 |
> distributed from Github. It's the purpose of the mirror system to |
9 |
> remove the direct reliance on the original source. |
10 |
|
11 |
I forgot most files were mirrored. So the infrastructure that is the |
12 |
answer to my question is already in place. Consequently, I don't think |
13 |
there's any reason to argue against this, unless it ultimately ends up |
14 |
being a ton of work to package small files (which I can't comment on). |
15 |
|
16 |
On Tue, Dec 19, 2017 at 4:46 PM, Thomas Deutschmann <whissi@g.o> wrote: |
17 |
> On 2017-12-19 21:44, R0b0t1 wrote: |
18 |
>> How easy is it to move patches to Gentoo infrastructure if the patches |
19 |
>> are not provided by upstream? I am slightly uncomfortable with |
20 |
>> everything being pushed to websites like GitHub by default. |
21 |
> |
22 |
> Don't get me wrong but this a *dev* mailing list. Your statement clearly |
23 |
> indicate that you don't understand about what we are talking. So maybe |
24 |
> it is better to not say a word? |
25 |
> |
26 |
> 1) Gentoo doesn't host anything on GitHub. We are only mirroring content |
27 |
> from git.gentoo.org on GitHub. |
28 |
> |
29 |
> 2) We are talking about Gentoo patches, nothing which can be found upstream. |
30 |
> |
31 |
|
32 |
Yes, this was my point, as now it is Gentoo's responsibility to distribute them. |
33 |
|
34 |
> 3) https://devmanual.gentoo.org/general-concepts/mirrors/ |
35 |
> |
36 |
|
37 |
My apologies, sir. As I have tried to impress upon this list, I am not |
38 |
very smart, but I do genuinely mean well. I will try to not make |
39 |
people so angry in the future. |
40 |
|
41 |
Cheers, |
42 |
R0b0t1 |