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 <marcus.denker@inria.fr> 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 <marcus.denker@inria.fr> 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