Use GitLab as our main repository manager ?

[ppericard]

Pros:

• GitLab is fully open-source
• the repository can be hosted on the main GitLab server or on a private server
• exact same functionalities as GitHub + additional ones
• better issues tracking
• better continuous integration management
• our current GitHub repository is fully transferable to GitLab (code, issues, ...)

Cons:

• GitLab is currently less popular than GitHub, which means less visibility. But this is rapidly changing.

https://usersnap.com/blog/gitlab-github/ https://www.upwork.com/hiring/development/gitlab-vs-github-how-are-they-different/

[loic-couderc]

I recently tried to add a functional test with travis based on the 16sp dataset.

• First i was limited by the RAM available on travis (7.5G in our case). To avoid this limitation i build an index with --max_memory 3000.
• Then by the maximum time limit of travis as we have only 2 cores.

So i had to disable this functional test (03903aee87d26c0e2050a3ebe2be8b3a2b170e81) because of the travis limitations. Can be a point to motivate the transition to gitlab.