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

[Robin Westberg]

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.

This pull request has now been integrated.

Changeset: 86e9cd98
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/86e9cd98
Stats:     1 line in 1 file changed: 1 ins; 0 del; 0 mod

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

Reviewed-by: ehelin, erikj, ihse

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

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