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

[Riccardo Iaconelli]

On Sunday, September 20, 2015 02:39:53 PM Loïc Grobol wrote:
> IIRC the main argument was not laziness, it was discoverability. But
> if we have a nice wiki page to guide people in the switching process,
> it should be relatively painless. In any way, we can still try and see
> if the issue actually occurs. Granted even before that, we can see if
> there is enough pull request attempts to justify writing such a bot.

David already made one, but I think it got lost in the threads...

-Riccardo