| 1 |
On Sun, Jan 19, 2020 at 1:45 PM Kent Fredric <kentnl@g.o> wrote: |
| 2 |
> |
| 3 |
> On Sun, 19 Jan 2020 07:08:30 -0500 |
| 4 |
> Rich Freeman <rich0@g.o> wrote: |
| 5 |
> |
| 6 |
> > The official sources aren't in github. A bugzilla component is |
| 7 |
> > available, so if github goes away there is no problem and we aren't |
| 8 |
> > relying on it. |
| 9 |
> |
| 10 |
> If github goes away after bugs and PR's are filed on github, then that |
| 11 |
> historical context is lost, and may include the loss of open bugs and |
| 12 |
> open PRs, which all may still be relevant. |
| 13 |
|
| 14 |
Nothing of importance should be stored on github. |
| 15 |
|
| 16 |
If you and I have a conversation at a bar, and as a result you decide |
| 17 |
to make a commit without any useful comments, and then we both retire |
| 18 |
from the project, just as much information is lost. |
| 19 |
|
| 20 |
We don't require anybody to open a bug before making a commit today, |
| 21 |
so why would we be concerned when non-required outside documentation |
| 22 |
is stored in github? That is more information than we already |
| 23 |
require, so if it goes away nothing required by policy is lost. |
| 24 |
|
| 25 |
If we made it a policy that all commits required some kind of peer |
| 26 |
review in bugzilla, then of course we should do the same here. Right |
| 27 |
now we do not require that background for just about anything the |
| 28 |
distro does be recorded anywhere. |
| 29 |
|
| 30 |
If github's existence bothers you, then just pretend it doesn't exist |
| 31 |
- stick it in your hosts file or block it at your router. In theory |
| 32 |
it shouldn't change your Gentoo experience at all. :) |
| 33 |
|
| 34 |
-- |
| 35 |
Rich |
Archives