On Mon, Apr 01, 2024 at 05:19:40PM +0200, Michał Górny wrote:
> So I'd like to propose that we finally consider changing it.  For
> a start, we could try with gentoo.git, as our flagship repository.

While not strictly against it, my own vote would go toward keeping
things as-is rather than break tons of setup/scripts over something
that is still without ill intent and personally still think is a
stretch to see it that way.
-- 
ionen