slawekjaranowski opened a new pull request, #355: URL: https://github.com/apache/maven-gh-actions-shared/pull/355
The `pr-number` action also matches the merge commit of a PR, so a merged PR can be found from a `push` of its merge commit - needed to call PR Automation from `push`. Lookup by the PR head (used by PR Check) works as before: an open PR has no merge commit. Not tested yet [ci skip] Part of #334 🤖 Generated with [Claude Code](https://claude.com/claude-code) -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
