You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
oliviertassinari
changed the title
Can we add a comment to the PR *before* the PR is merged?
[infra] Can we add a comment to the PR *before* the PR is merged?
Oct 27, 2024
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.
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 #217 (comment)
Search keywords:
The text was updated successfully, but these errors were encountered: