RFR: 8263667: Avoid running GitHub actions on branches named pr/*

Tue Mar 16 15:05:08 UTC 2021

On Tue, 16 Mar 2021 10:53:06 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> When the Skara feature "dependent pull requests" is activated for the JDK repository, branches with the name "pr/<number>" will start to appear. These will not be synced into personal forks by the Skara sync command, but if they are synced manually, we should avoid running GitHub actions workflows on them.

Marked as reviewed by ihse (Reviewer).

-------------

PR: https://git.openjdk.java.net/jdk/pull/3024