4 ms·

Yes, he should have just went and looked there. Github is not a "random website".

• mulmen 3y ago
  The link is to gitlab, not github. But any website is inappropriate in this context because it’s not permanent. The email list is, at least as far as the project is concerned.