Re: GitHub Pull Requests?

[Stefan Ferstl <st.ferstl@gmail.com>]

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

Hi Michael

Thanks for the information. I created an issue in Bugzilla [1] and
linked it to the PR on GitHub.


Cheers,
Stefan

[1] https://bugzilla.ipfire.org/show_bug.cgi?id=10552


On Sat, Jun 14, 2014 at 7:55 PM, Michael Tremer
<michael.tremer(a)ipfire.org> wrote:
> 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
>