On Tue, 16 Mar 2021 10:53:06 GMT, Robin Westberg <rwestb...@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 <rwestb...@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