GitHub Pull Requests?

Hi

I recently had some troubles with my OpenVPN certificates on IPFire. I could easily fix the problem with a one-liner in OpenVPN's "verify" script. Additionally, I filed a pull request [1] on GitHub with that solution. Since there hasn't been any reaction at all whatsoever for more than one month now, I want to ask if I have to submit a patch over a different channel than via GitHub.

Cheers, Stefan

[1] https://github.com/ipfire/ipfire-2.x/pull/25