[
https://issues.apache.org/jira/browse/FLINK-18125?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17139420#comment-17139420
]
Chesnay Schepler commented on FLINK-18125:
------------------------------------------
[~rmetzger] We don't need to mirror things to flink-ci, I believe we already
have access to the list of commits of the original PR; from that we could
derive a commit range and store it in the branch name. The script then extracts
the commit range, checks the diff, voila. We'd have to ensure a proper
migration path for older branches, but overall this should be feasible.
> Skip CI execution on documentation pull requests
> ------------------------------------------------
>
> Key: FLINK-18125
> URL: https://issues.apache.org/jira/browse/FLINK-18125
> Project: Flink
> Issue Type: Improvement
> Components: Build System / Azure Pipelines
> Reporter: Robert Metzger
> Priority: Major
>
> In order to save some resources, we can skip the CI execution on
> documentation-only changes (whole changeset).
--
This message was sent by Atlassian Jira
(v8.3.4#803005)
