This seems to be quite nice… we are now step by step improving the bot messages
e.g.
https://github.com/pharo-project/pharo/issues/2971 https://github.com/pharo-project/pharo/issues/2982I have installed one more bot for now:
https://probot.github.io/apps/reminders/ Use the /remind slash command to set a reminder on any comment box on GitHub and you'll get a ping about it again when the reminder is due.
Use any form of /remind me [what] [when], such as:
/remind me to deploy on Oct 10
/remind me next Monday to review the requirements
/remind me that the specs on the rotary girder need checked in 6 months
> On 21 Mar 2019, at 11:35, Marcus Denker <
[hidden email]> wrote:
>
> They seem to all work.
>
> The “Stale” plugin somehow marked two already merged PRs as stale… which is odd.
> But else it seems to work.
>
>> On 21 Mar 2019, at 10:34, Marcus Denker <
[hidden email]> wrote:
>>
>> Hi,
>>
>> I have added some robots to the github account
https://github.com/pharo-project>>
>> For for main repository
https://github.com/pharo-project/pharo I have enabled by adding the required configs to .github/ :
>>
>>
>> Work In Progress: Prevent merging of Pull Requests with "WIP" in the title
>>
https://github.com/marketplace/wip>>
>> No Response: Closes Issues where the author hasn't responded to a request for more information
>>
>> If the tag more-information-needed is set and no answer provided, issue is closed in 14 days.
>>
>>
https://probot.github.io/apps/no-response/>>
>> Request Info: Requests more info on issues and pull requests with the default title or an empty body.
>> it sets the more-information-needed flag.
>>
https://probot.github.io/apps/request-info/>>
>>
>> Stale: Close stale Issues and Pull Requests
>>
>>
https://github.com/probot/stale>> Issues: daysUntilStale: 240, daysUntilClose: 60
>> Pulls: daysUntilStale: 20, daysUntilClose: 10
>>
>>
>>
>
Locked
