Project Talk:GitHub/Pull requests

Pram
Could we also mention pram? It sorts a lot of problems listed in the "Merge pull requests" section.