On Fri, Dec 30, 2022 at 11:25:25AM +0000, Philip Kaludercic wrote:

> If acceptable, it looks good.  I could imagine that it should be OK if
> we point to GitHub, since we are just using it as a Git host.  Here are
> a few suggestions

I won't object, as long as I can excise it with my own
hands. I don't like to see how That Company silently
slithers into more and more basic infrastructure.

Cheers
-- 
t