On Sun, 19 Jan 2020 07:08:30 -0500
Rich Freeman <ri...@gentoo.org> wrote:

> The official sources aren't in github.  A bugzilla component is
> available, so if github goes away there is no problem and we aren't
> relying on it.

If github goes away after bugs and PR's are filed on github, then that
historical context is lost, and may include the loss of open bugs and
open PRs, which all may still be relevant.

Many people consider that to be a bad thing.

Attachment: pgpRfe3TY4eJv.pgp
Description: OpenPGP digital signature

Reply via email to