I'm pretty confident they're going to handle PRs via the github interface. I don't think they'd get many contributions if you had to email patches in.