On Thu, Aug 29, 2002 at 10:44:10AM +0200, Claudio Sacerdoti Coen wrote: > > Any answer for the INRIA side? > > Well, I am not working at INRIA, but I am "trusted" and can access > and work on some parts of the CVS archive of Coq, as far as I behave > correctly (e.g. working on separate branches or having my commits > double-checked by others). Moreover, it is possible to obtain a guest > account (that must be renewed every year) at every INRIA site I know. > > So, with a bit of pressure, getting CVS access on restricted branches > and from a trusted machine (identified by IP number) should be possible > for the debian mantainer also.
Since you are a researcher and that you are working directly on the coq, then you have a higher lever of trust than I. They won't give accounts randomly. I guess that they are not working with a chrooted CVS which could avoid using unix credentials. Cheers, -- Jérôme Marant
