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