On Tue, 21 Nov 2023 21:40:49 GMT, intrigus-lgtm <d...@openjdk.org> wrote:
> May I ask, why you all are so fixated on using `branches-ignore:`? Can you > not simply add another job, that ignore pushes if the branch name has a > specific format and if the repository is "openjdk/jdk"? I think you misunderstand how our GitHub Actions are configured. No GHA job _ever_ runs in the `openjdk/jdk` repo. Instead, a GHA job is run every time a commit is pushed to a branch in your _personal fork_ of that repo. The purpose of the branch ignore statements are to avoid running them for branches that are synced from the upstream `openjdk/jdk` repo. Using `branches-ignore` is the most straight-forward and efficient way of doing this. I plan to integrate this PR later today. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16763#issuecomment-1827816570
