Skip to content
This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

React to maintainers mentioning the bot #2

Open
simonbasle opened this issue Oct 11, 2017 · 1 comment
Open

React to maintainers mentioning the bot #2

simonbasle opened this issue Oct 11, 2017 · 1 comment
Labels
area/github How the bot acts/reacts on GitHub side type/enhancement A general enhancement

Comments

@simonbasle
Copy link
Member

This would provide an alternative path for fast-tracking a PR:

  • user X mentions the bot with a keyword, like @bot fast-track blah blah blah, in a PR comment
  • the bot checks X is a maintainer
  • if so, the bot will:
    • put the watchedLabel on the PR
    • do an approve review, mirroring the blah blah blah description
    • send a similar message in slack (again mirroring the description)

⚠️ The bot MUST ignore labeled events that have the bot as sender ⚠️

@simonbasle
Copy link
Member Author

This has been implemented in 99f77cd and dismissal by deletion of comment in 969cbdf
The bot doesn't put the label yet though... Keeping this open for the later

@simonbasle simonbasle added type/enhancement A general enhancement area/github How the bot acts/reacts on GitHub side labels Aug 2, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area/github How the bot acts/reacts on GitHub side type/enhancement A general enhancement
Projects
None yet
Development

No branches or pull requests

1 participant