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

Martin Klapetek martin.klapetek at gmail.com
Sun Sep 20 14:50:43 UTC 2015

On Sun, Sep 20, 2015 at 8:39 AM, Loïc Grobol <loic.grobol at gmail.com> wrote:

> Granted even before that, we can see if

there is enough pull request attempts to justify writing such a bot.

Gnome in their years history of github mirroring had 4 pull requests
(it was mentioned in the other thread...one of the others).

So we might very likely be talking non-issues here anyway.

Martin Klapetek | KDE Developer
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kde-community/attachments/20150920/d0013b8c/attachment.html>

More information about the kde-community mailing list