Pull request auto-merge is now generally available - GitHub Changelog

Quand je vois le nombre de pr que j’ai mergé avant à fin du build, je trouve que cet auto-merge est une bonne idée.