[kde-community] Write our own pull request bot?
riccardo at kde.org
Sun Sep 20 12:52:31 UTC 2015
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...
More information about the kde-community