Bonjour,

je me permet une courte intervention sur une remarque concernant les pull requests sur Github :

> Je regrette toutefois ne pas pouvoir exclure/inclure ligne à ligne une contribution
> envoyée par pull request. Là c’est du tout ou rien, et c’est dommage pour ce projet
> particulier.

Effectivement, lorsqu’on utilise la fonction d’auto-merge fournie par Github, on a très peu de liberté mais il est très facile de gérer ça en local grâce à une petite astuce qui permet de faire un checkout des branches qui correspondent au PR (https://gist.github.com/3342247)

Cela permet d’adapter facilement le patch soumis et de ne merger que ce que l’on souhaite.