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. Marked as reviewed by erikj (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/3024
