[PR] Support only push in PR Automation [maven-gh-actions-shared]

["slawekjaranowski (via GitHub)" <gi...@apache.org>]

slawekjaranowski opened a new pull request, #363:
URL: https://github.com/apache/maven-gh-actions-shared/pull/363

   All callers of PR Automation have moved from `pull_request_target` to `push`
   (apache/maven-* and mojohaus), so the `pull_request_target` handling can go:
   
   - the pull request is always looked up from the merge commit,
   - the `merged` output and its conditions are dropped - a PR found by its merge commit is always merged,
   - the milestone is removed only for PRs with the `skip-changelog` label,
   - the concurrency group is removed - each push had its own group anyway.
   
   A caller still on `pull_request_target` gets all jobs skipped.
   
   Follows #356.
   
   [ci skip]
   
   🤖 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: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

Re: [PR] Support only push in PR Automation [maven-gh-actions-shared]

["slawekjaranowski (via GitHub)" <gi...@apache.org>]

slawekjaranowski merged PR #363:
URL: https://github.com/apache/maven-gh-actions-shared/pull/363


-- 
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: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org