Skip to content

Conversation

@cbjeukendrup
Copy link
Member

The problem seems actually the opposite of what 1a8ded4 tried to solve. Pull requests builds run on a merge commit of the PR branch and the base branch. That means that the latest changes on the base branch (at the time of pushing) will be considered, even if the PR branch is behind the base branch. Therefore, the reference should simply be the base branch, and not the merge-base (=common ancestor) of the PR branch and the base branch, because that would miss the latest changes from the base branch.

The problem seems actually the opposite of what musescore@1a8ded4 tried to solve. Pull requests builds run on a merge commit of the PR branch and the base branch. That means that the latest changes on the base branch (at the time of pushing) will be considered, even if the PR branch is behind the base branch. Therefore, the reference should simply be the base branch, and not the merge-base (=common ancestor) of the PR branch and the base branch, because that would miss the latest changes from the base branch.
@cbjeukendrup cbjeukendrup requested a review from Eism February 7, 2026 02:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant