On 2020-10-14 19:33 , John White wrote: > Isn't git owned by Gates? > > John Yes, by Linux Gates :-)-O el