D'une part vu le signal bruit je ne suis pas sûr que la position pragmatique soit de les accepter.
La position pragmatique est de les accepter quand c'est bien fait. Comme il le fait en fait. Refuser absolument toute PR venant de GH serait sûrement dogmatique vu que, comme il dit, no single place is really any different from any other.
Le commit directement depuis l'interface web est une fonctionnalité assez récente de github
Le commit peut-être mais une PR à ma connaissance c'est soit depuis l'interface, soit depuis l'outil cli de Github. Là encore j'ai ptêt surinterprété "I refuse to pull commits" en "merge pull-requests" mais est-ce qu'il a la possibilité de savoir comment un commit a été fait (web ou pas) avant même de le tirer ?
[^] # Re: GNU/Linux ≠ bureau / WM
Posté par Faya . En réponse au journal windows linuxifié, linux windowsifié?. Évalué à 2.
La position pragmatique est de les accepter quand c'est bien fait. Comme il le fait en fait. Refuser absolument toute PR venant de GH serait sûrement dogmatique vu que, comme il dit, no single place is really any different from any other.
Le commit peut-être mais une PR à ma connaissance c'est soit depuis l'interface, soit depuis l'outil cli de Github. Là encore j'ai ptêt surinterprété "I refuse to pull commits" en "merge pull-requests" mais est-ce qu'il a la possibilité de savoir comment un commit a été fait (web ou pas) avant même de le tirer ?