PLASMA Lab @ INRIA¶
The PLASMA Lab project is developed and hosted by INRIA. In this section we describe the various support tools provided by INRIA.
PLASMA Lab is hosted on the INRIA Forge. The forge provides a git repository, an HTTP server and access to bug tracking tools and mailing list.
To access these services an INRIA Forge account is required. The INRIA Forge does not use the LDAP account.
Git is our Version Control System. The Git documentation can be accessed on:
Only developers registered on the forge can access to the Git repository. SSH must be installed on your computer.