A la rigueur, si un admin / modo / … passe par là, peut-être peut-on changer la phrase :
Comme beaucoup de projets désormais, le dépôt principal est sur le non-libre github, bien qu'il y ait un miroir sur http://git.php.net/.
en
Comme beaucoup de projets désormais, le dépôt mis en avant est sur le non-libre github, bien que le dépôt de référence reste sur http://git.php.net
Et citer le lien :
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,
puisque le problème porte surtout sur le côté "principal"
[^] # Re: N'importe quoi...
Posté par CrEv (site web personnel) . En réponse à la dépêche Migration de PHP vers Git, Gitlab, Baregit. Évalué à 3.
A la rigueur, si un admin / modo / … passe par là, peut-être peut-on changer la phrase :
en
Et citer le lien :
puisque le problème porte surtout sur le côté "principal"