Moving to Github or Gitlab
Continuous integration continuously gives problems. Network issues. Support... In my opinion we should consider again moving to somewhere else.
We are changing things every day and we may make mistakes. This is even more likely since we are working with different SO, distributions and compilers.
For example, at some point, gtest_factor_trifocal
started to fail (in ubuntu 16.04-gcc). We don't know nothing about this failure and when it started to happen. If we had a CI working well, periodically runing, etc. We would have been notified and identifying the error would have been easier.
We need a CI that helps us, not something that sends you an email to be ignored every time you push.