Re: Cameleon, follow-ups

[Jérôme Marant <marant.logatique@fr.thalesgroup.com>]

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