Scheduled INRIA Forge end of life

The INRIA Forge is now in maintenance mode until its final shutdown, currently scheduled at end of year 2020. Hosting projects on the forge has been deprecated in favor of the INRIA gitlab. The migration FAQ gives some documentation about the migration to the gitlab. It is not possible anymore to register new projects on the forge.

Support

First of all, check that your question is not already in our FAQ.
Then, you can submit a support ticket at the inria helpdesk portal (inria account is mandatory). On this portal, select "IT support request", then "ask for a fix" or "service request", and then select "services for research", then "inriaforge". You can also submit a support ticket by mail at address sed-forge.helpdesk-prc at inria.fr (this is the way to go if you don't have an inria account).
The old support email address help.et.gforge at inria.fr is an alias to sed-forge.helpdesk-prc at inria.fr.
When submitting your request, don't forget to provide accurate details of what's going wrong. Read, for example, How to Report Bugs Effectively.
Finally, you can also have a look at our bug tracker.

Presentation

Participation in InriaForge

First timers should read "A gentle introduction to InriaForge" (aka InriaForge for dummies) to have ready info on the following:

1. Private and Public projects
2. Creating an account
3. Creating a project
4. Joining a project
5. Configuring your ssh access
6. Creating a code repository
7. Configuring Eclipse to work with the forge

Site maintenance

Site updates happen on Tuesday mornings, around 9am. Service may be interrupted a few minutes on these occasions. Moreover, the webserver is restarted every night.

Features Boxes