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

classic Classic list List threaded Threaded
5 messages Options
Reply | Threaded
Open this post in threaded view
|

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

Robin Westberg-2
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.

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

Commit messages:
 - Filter out branches named pr/ for GitHub actions

Changes: https://git.openjdk.java.net/jdk/pull/3024/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=3024&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8263667
  Stats: 1 line in 1 file changed: 1 ins; 0 del; 0 mod
  Patch: https://git.openjdk.java.net/jdk/pull/3024.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/3024/head:pull/3024

PR: https://git.openjdk.java.net/jdk/pull/3024
Reply | Threaded
Open this post in threaded view
|

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

Erik Helin-3
On Tue, 16 Mar 2021 10:53:06 GMT, Robin Westberg <[hidden email]> 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.

Looks good!

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

Marked as reviewed by ehelin (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/3024
Reply | Threaded
Open this post in threaded view
|

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

Erik Joelsson-2
In reply to this post by Robin Westberg-2
On Tue, 16 Mar 2021 10:53:06 GMT, Robin Westberg <[hidden email]> 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
Reply | Threaded
Open this post in threaded view
|

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

Magnus Ihse Bursie-3
In reply to this post by Robin Westberg-2
On Tue, 16 Mar 2021 10:53:06 GMT, Robin Westberg <[hidden email]> 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
Reply | Threaded
Open this post in threaded view
|

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

Robin Westberg-2
In reply to this post by Robin Westberg-2
On Tue, 16 Mar 2021 10:53:06 GMT, Robin Westberg <[hidden email]> 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 <[hidden email]>
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