Git service

What is it?

Git is a really useful tool for developers. One could even say, almost essential.

This service is an instance of Gitea, a free software that gives a graphical interface to Git and a few other features like issues, user management and more.

It is a great, if not better, alternative to GitHub, Bitbucket or GitLab.

Who is it for?

For disk space reasons, we reserve this service for our members.

However, it is possible for everyone to access the public repositories and create an account to add issues, fork or contribute by other means to an existing repository.

How do you use it?

First of all, you must create an account on the Gitea instance.

Then, if you have subscribed, you must go to your Member area and click on "Git service management", then enter the nickname and email address linked to your Gitea account.

Confirm and if everything works, you should be able to go to our Gitea instance and create repositories!

Terms of use

By using this service, you unconditionally accept the legal notice and the Terms of Service of our platform.

Technical information

We count on the kindness of our members not to abuse this service (especially in terms of disk space). Ideally, a user should not use more than 50 MB.

Further information about this installation can be found in our Technical report.