[Issue Tracker] installed some robots
Hi, I have added some robots to the github account https://github.com/pharo-project <https://github.com/pharo-project> For for main repository https://github.com/pharo-project/pharo <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
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 <https://github.com/pharo-project>
For for main repository https://github.com/pharo-project/pharo <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 <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/ <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/ <https://probot.github.io/apps/request-info/>
Stale: Close stale Issues and Pull Requests
https://github.com/probot/stale <https://github.com/probot/stale> Issues: daysUntilStale: 240, daysUntilClose: 60 Pulls: daysUntilStale: 20, daysUntilClose: 10
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
Thanks. This is useful. On Thu, 21 Mar 2019 at 17:34, Marcus Denker <marcus.denker@inria.fr> wrote:
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/
Can more info be added to the generic message...
We would appreciate it if you could provide us with more info about this issue/pr!
"This issue has either a default title or empty body. We would appreciate it if you could provide more info about this issue/pr!" Stale: Close stale Issues and Pull Requests
https://github.com/probot/stale Issues: daysUntilStale: 240, daysUntilClose: 60 Pulls: daysUntilStale: 20, daysUntilClose: 10
Same general thing about Stalebot comments, I opened... https://github.com/pharo-project/pharo/issues/2971 cheers -ben
participants (2)
-
Ben Coman -
Marcus Denker