The Coq mailing list

[Hugo Herbelin <Hugo.Herbelin AT inria.fr>]

Dear Eelis,

> How come the Coq development mailing list isn't public?
> 
> Isn't Coq supposed to be an open source project embracing collaboration
> and community? Keeping development discussion secret is completely
> antithetical to this idea..
> 
> I'm told much of the discussion on the development list is in French,
> but that's fine.

You seem to assume that development discussions happen on the coqdev
mailing list and you would probably be disappointed here. The traffic
is often low and most of discussions happen either at development
meetings or in private conversations between 2 or 3 people that are
specialists of the relevant parts of the code.

The minutes of the meetings were indeed private up to now. There were
no special reason for that (except that they are most often written in
French) and we decided to move them to a public place (look for
CoqDevelopment in cocorico; CR = Compte-Rendu = minutes; GT = Groupe
de Travail = working group).

This does not preclude the possible need for alternative public
discussion media besides coq-club, the bug tracker, the cocorico wiki
and the #coq irc channel. We have to think about that.

Hugo