mirror of https://github.com/mpv-player/mpv
1edc02174f
If the pull request is not found or is not open, it should not be treated as a critical error. This situation can occur after a merge. There is no reliable way to query a pull request from a workflow_run event, so this has been made a non-error log. |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| workflows | ||
| PULL_REQUEST_TEMPLATE | ||