Commit f38e1f39 authored by Benoit Lavenier's avatar Benoit Lavenier

Add github contributing doc

parent 55ca766d
Pipeline #3267 failed with stage
in 20 seconds
This project is now tracked on our hosted gitlab server at:
The current github repository is a simple clone taken up to date at each push on the main gitlab repository.
All contributions should be performed on the main gitlab repository.
Pull requests proposed on github would generate more work for the main contributors.
Issues can be submitted on github. However, all issues created on github will be duplicated on gitlab manually and closed with a link to the gitlab issue.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment