PLASMA Lab @ INRIA

The PLASMA Lab project is developped and hosted by INRIA. In this section we describes the various support tools provided by INRIA.

GForge

PLASMA Lab is hosted on the INRIA Forge. The forge provide a git repository, an HTTP server and access to bug tracking tools and mailing list.

To access to these services a INRIA Forge account is required. The INRIA Forge does not use the LDAP account.

Git

Git is our Version Control System. The Git documentation can be accessed on:

• http://git-scm.com/book/fr

Only developers registered on the forge can access to the Git repository. SSH must be installed on your computer.

• git clone git+ssh://[email protected]//gitroot/plasma-lab/plasma-lab.git

Tracking tool

• Bugs and issues tracking tool
• Technical solutions tracking tool

Support

• PLASMA Lab support mailing list

GForge hosting

The INRIA GForge provides hosting capacity. The PLASMA Lab GForge website is located at http://plasma-lab.gforge.inria.fr/. We use this to host the javadoc and this manual but also as a repository for downloadable content such as PLASMA Lab bundles and an examples library.

Web site

The main PLASMA Lab website is hosted on https://project.inria.fr/plasma-lab/. It is a wordpress blog/site and can be modified by accessing to the administration interface.

[email protected] depends from a different service than GForge.