As dev, we would like Cervan to be added as contributor of the project

[statnmap]

As leaddev, we would like Cervan to be added as contributor of the project so that he can manage the project

Problem

@cervangirard is not listed as contributor of the GitHub repository, which prevents him to manage code, wiki, and issues properly.

=> Could you please add him ?

• Go to Settings > Collaborators and Team > Add People > @cervangirard > Role: Write

Client - Validation

Once this problem is addressed,

• [x] Cervan is able to edit an issue in the GitHub repository

Dev - Tech

• [ ]

[balglave]

I added Cervan.

[statnmap]

Thanks. We validate this issue.