[kde-community] Write our own pull request bot?

David Edmundson david at davidedmundson.co.uk
Sun Sep 20 14:59:33 UTC 2015


On Sun, Sep 20, 2015 at 3:56 PM, Martin Klapetek <martin.klapetek at gmail.com>
wrote:

> On Sun, Sep 20, 2015 at 10:53 AM, Bhushan Shah <bhush94 at gmail.com> wrote:
>
>> On Sun, Sep 20, 2015 at 8:20 PM, Martin Klapetek
>> <martin.klapetek at gmail.com> wrote:
>> >
>> > Gnome in their years history of github mirroring had 4 pull requests
>> > (it was mentioned in the other thread...one of the others).
>>
>> Sorry no [1]
>>
>> https://github.com/pulls?utf8=%E2%9C%93&q=is%3Aopen+is%3Apr+org%3Agnome
>
>
> Cool. I admit I haven't checked, as I said it's a number from
> one of the 300 threads going on.
>
> I said that number but wrt "GTK" not "Gnome"

David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kde-community/attachments/20150920/283b97c7/attachment.html>


More information about the kde-community mailing list