> Actually, a pull request might be helpful -- that way we get to see the
> results of a few build combinations on Travis.

Ah yes, good point!

I've also offered Brad to get push rights to the repo, as he's been around
this project for a long time and has repeatedly delivered quality patches. I
think we could benefit from getting some more active users into that role.