> On Jan 16, 2020, at 05:49, Wojciech Puchar <wojtek at puchar.net> wrote: ... > no it is not. It should be his own git repository located on his account and/or his server. git doesn't even need special servers to be set up. My pronouns are they/she, not he. -Enji