Peut-être qu'on est juste pas d'accord sur le sens de "utiliser Github". Oui il a accepté une dizaine de PR venues de Github en 11 ans. Mais il n'a pas besoin de se logguer sur Github pour ce faire : git fetch origin pull/$ID/head:$BRANCHNAME
Donc même pour ces 10 PR je ne sais pas si on peut dire qu'il a utilisé Github.
[^] # Re: GNU/Linux ≠ bureau / WM
Posté par Faya . En réponse au journal windows linuxifié, linux windowsifié?. Évalué à 2.
Peut-être qu'on est juste pas d'accord sur le sens de "utiliser Github". Oui il a accepté une dizaine de PR venues de Github en 11 ans. Mais il n'a pas besoin de se logguer sur Github pour ce faire :
git fetch origin pull/$ID/head:$BRANCHNAMEDonc même pour ces 10 PR je ne sais pas si on peut dire qu'il a utilisé Github.