{{ message }}
Repository navigation
Commit ae2e98c
committed
fix(ci): diff pull requests against the base tip they merge onto
The merge-base diff counted commits that landed on the base branch after
the PR forked, which widened lane selection and could flag a database
version bump the PR did not make. The checkout's merge commit has the base
tip as its first parent, so diff against that.1 parent bd94926 commit ae2e98c
1 file changed
Lines changed: 11 additions & 3 deletions

0 commit comments