>>>>> On Sun, 17 Jul 2022, Rich Freeman wrote:

> The social contract talks about how "Gentoo will never depend upon
> [proprietary software]."  It doesn't mention anything about Gentoo not
> enabling it/etc.  In fact our policies allow proprietary software to
> be in our repository (obviously with restrictions on mirroring/etc).

I believe that's not accurate. Policy says that all our works must be
released under a free software license [1]. Ebuilds can _refer_ to
proprietary software, but everything committed to the Gentoo repository
(with the exception of license documents) must be free software.

> Some argue that this is enabling proprietary software, but even if so
> we're not breaking any promises.

Any proprietary distfiles referred to by ebuilds are irrelevant for this
discussion. We don't host that code on github.

[1] https://www.gentoo.org/glep/glep-0076.html#licensing-of-gentoo-projects