search

mui / mui-public

The public mono-repository of MUI (as an organization), see mui/mui-private for the opposite.
80 stars 16 forks source link

[infra] Can we add a comment to the PR *before* the PR is merged? #220

Closed michelengelen closed 3 weeks ago

michelengelen commented 1 month ago

Can we add a comment to the PR before the PR is merged? Similar to https://github.com/mui/mui-x/blob/master/.github/workflows/check-if-pr-has-label.yml

_Originally posted by @cherniavskii in https://github.com/mui/mui-public/pull/217#discussion_r1813137009_

Search keywords:

github-actions[bot] commented 3 weeks ago

This issue has been closed. If you have a similar problem but not exactly the same, please open a new issue. Now, if you have additional information related to this issue or things that could help future readers, feel free to leave a comment.

michelengelen commented 3 weeks ago

Done in #230