Nous avons choisi de passer tous les dépôts de Polybot de GitHub à GitLab. Cela nous permet une meilleure gestion et plus (+) de possibilités pour les dépôts privés. Nous avons donc demandé à tous le monde de push les dernières modifications qu'ils avaient en locale pour pouvoir migrer sur GitLab. | Nous avons choisi de passer tous les dépôts de Polybot de GitHub à GitLab. Cela nous permet une meilleure gestion et plus (+) de possibilités pour les dépôts privés. Nous avons donc demandé à tous le monde de push les dernières modifications qu'ils avaient en locale pour pouvoir migrer sur GitLab. |