1 |
On Sun, Jan 19, 2020 at 6:46 AM Ulrich Mueller <ulm@g.o> wrote: |
2 |
> |
3 |
> >>>>> On Sun, 19 Jan 2020, Michał Górny wrote: |
4 |
> |
5 |
> > The sources are stored in proj/policy-guide.git [3]. If you wish to |
6 |
> > submit your own changes, you can either use the 'Policy Guide' bugzilla |
7 |
> > component [4] and/or GitHub mirror [5]. |
8 |
> |
9 |
> Please, no github for official policies. We should have a permanent |
10 |
> paper trail for this kind of things, which isn't guaranteed if the |
11 |
> discussion would happen entirely on github. |
12 |
> |
13 |
> Besides, by the Social Contract we cannot rely on a non-free service |
14 |
> for anything official. |
15 |
|
16 |
The official sources aren't in github. A bugzilla component is |
17 |
available, so if github goes away there is no problem and we aren't |
18 |
relying on it. |
19 |
|
20 |
It looks like there is the optional ability to do work on github, just |
21 |
as people can optionally talk about anything, anywhere. |
22 |
|
23 |
If I have a chat with another package maintainer at a bar, and they |
24 |
modify their ebuild and push that to the Gentoo repo on infra, and no |
25 |
bug is ever opened, that is 100% within our current policy. I don't |
26 |
see how having that discussion on github instead of at the bar changes |
27 |
things. |
28 |
|
29 |
They're just offering an alternative place to get things done. |
30 |
Anybody who wants to could just file a bug instead. |
31 |
|
32 |
If we want to have an additional Gentoo policy that nobody is allowed |
33 |
to discuss a Gentoo policy outside of the lists and bugzilla that |
34 |
would of course create issues with stuff like github, and probably |
35 |
non-logged IRC channels and private messages as well. However, that |
36 |
is not our current policy. Plenty of council decisions happen with |
37 |
much of the actual discussion not being recorded anywhere. I'm not |
38 |
sure you could reasonably operate in any other way, as people do need |
39 |
the ability to talk things out without having to posture. |
40 |
|
41 |
I feel like this discussion has already happened in the past though... |
42 |
|
43 |
-- |
44 |
Rich |