Re: Hello, n3

On 6 Dec 2018, at 12:37, Doerthe Arndt <doerthe.arndt@ugent.be<mailto:doerthe.arndt@ugent.be>> wrote:

For point 1: I saw that you can host your git repository on W3C (see https://www.w3.org/community/about/tool/) but you need to ask for it. Alternatively, we can host the repository somewhere else. I have no idea what is the best practice there, therefore I ask you: where should we host our git?

AFAIK, Dave Raggett was looking into that, so should be under way.

Received on Thursday, 6 December 2018 12:03:11 UTC