Re: GitHub Pull Requests?

[Michael Tremer <michael.tremer@ipfire.org>]

[-- Attachment #1: Type: text/plain, Size: 1393 bytes --]

Hi Stefan,

thanks for your submission.

Indeed GitHub Pull requests are not the best way for us to handle those.
GitHub is still not able to send us notifications when a new pull
request is created. We don't use it for anything else than just
mirroring our repositories to there.

That means you can use pull requests, but always open a bug report in
our own bugtracker and reference both to each other. In that way, we can
track GitHub pull requests just as we do it with everything else like
assinging them to people who will take care of those and you can use
your own repositories on GitHub.

If you could please do that we can start looking into the matter.

Best,
-Michael

On Sat, 2014-06-14 at 19:01 +0200, Stefan Ferstl wrote:
> 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
> _______________________________________________
> Development mailing list
> Development(a)lists.ipfire.org
> http://lists.ipfire.org/mailman/listinfo/development