On Sun, Sep 20, 2015 at 8:39 AM, Loïc Grobol <[email protected]> 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.

Cheers
-- 
Martin Klapetek | KDE Developer
_______________________________________________
kde-community mailing list
[email protected]
https://mail.kde.org/mailman/listinfo/kde-community

Reply via email to