Proyectos migrados en el ámbito del proyecto de migración de Subversion, Mantis y AnthillPro a GitLab