For <a href="https:&#x2F;&#x2F;robigalia.org&#x2F;" rel="nofollow">https:&#x2F;&#x2F;robigalia.org&#x2F;</a>, I decided to go with GitLab for a few reasons:<p>1. Free software needs free tools (I did not consider GitHub or Bitbucket at all).<p>2. Excellent team management and access control.<p>3. Excellent integration of their CI in the interface, with ability to run own build servers (&quot;runners&quot;, in their jargon). This is critical, because setting up the toolchain needed to build takes some time, and I can use the beefy hardware I already have, without having to setup jenkins.<p>4. Lovely UI.<p>The only real alternative in this space without setting up custom infrastructure is Savannah.<p>Or, if willing to compromise on principles, GitHub, which has a lot of incremental downgrades compared to GitLab.