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/2982
I 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 <[email protected]> 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 <[email protected]> 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
>>
>>
>>
>
