New hosting strategy

internal
7

Our needs are the following:

  • Host Git repositories,
  • Manage permissions,
  • Host documentation (as Gitlab Pages?),
  • Use a CI for other services than libraries (which use Travis CI)
  • Private repositories! We sometimes need them.