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

    Posté par (site web personnel) . En réponse à la dépêche Migration de PHP vers Git, Gitlab, Baregit. Évalué à 4. Dernière modification le 20 mars 2012 à 12:17.

    N'imp, ni PHP, ni le kernel Linux n'utilisent github comme dépôt principal…

    1. Je n'ai jamais dit que Linux utilisait github en principal
    2. D'après les liens (faut aller les lires) github est largement mis en avant :

    http://www.php.net/index.php#id2012-03-20-1

    You can clone or fork the source from our GitHub mirror, and we also now support pull requests made via GitHub. The source is also available via git.php.net, and full instructions on cloning the php-src tree can be found at php.net/git.

    On a bien en premier lieu github, les sources étant aussi dispo sur git.php.net

    http://fr.php.net/git.php

    You can retrieve the PHP source code from our GitHub mirror with this command:
    Alternatively, you can retrieve the source code from git.php.net with this command:

    Alors ok, peut-être que le terme "principal" n'était pas le bon, mais le dépot github est très clairement mis en avant, et pour un contributeur occasionnel en tout cas il est quasiment certain que c'est celui-ci qui sera utilisé (et probablement pas que pour les occasionnels)

    Edit : ha oui, et c'est bien aussi pour cette raison qu'est mentioné ceci :

    Notez que contrairement à l'annonce, la FAQ mentionne git.php.net comme dépôt principal.