About trivial github PR

Hi Folks,

every now and then, someone submits a trivial fix through github, e.g.


I've taken on me to merge some of them, when the patch has an identified email
contact (I'm not checking the email is valid, only that it looks valid).

I see a good point in these PRs: Github attracts contributions that may not have
been made otherwise, and I don't want to stop such enthousiasm :wink:

Any thoughts?

My thought would be: script something so that when closing them automatically open a revision on Phab?