On 2017-03-17 13:06 (-0700), benjamin roth <brs...@gmail.com> wrote: > Isn't there a way to script that with just a few lines of python or > whatever?
For docs, probably. Real patches are harder. There's a minor problem that they're a bit spammy (all PRs create dev@ emails), but I'd rather tolerate that noise than discourage contributors, so I (personally, not sure if rest of the committers/PMC agree) encourage people to send Github PRs if it's the only way they can contribute.
