Avoid running GitHub actions on branches named pr/*

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Fixed
    • Priority: P4
    • 17
    • Affects Version/s: None
    • Component/s: infrastructure
    • None
    • b14

        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.

              Assignee:
              Robin Westberg (Inactive)
              Reporter:
              Robin Westberg (Inactive)
              Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

                Created:
                Updated:
                Resolved: