• [^] # Re: N'importe quoi...

    Posté par . En réponse à la dépêche Migration de PHP vers Git, Gitlab, Baregit. Évalué à 2.

    Exactement, le repo principale est et reste git.php.net.

    github est mis en avant car tres utilise par de (tres) nombreux developeurs. Les pull requests sont tres appreciees aussi et simplifient les contributions.

    Quand aux "non libre" github, je ne voie pas trop le rapport, je vais mettre ca dans la partie "politique" du poste.