mirror of
https://github.com/void-linux/void-packages.git
synced 2025-04-16 06:07:00 +02:00
.github/workflows: compare PR branch to master
Since 4410de52c1
we fetch all origin branches, and FETCH_HEAD can point
elsewhere
This commit is contained in:
parent
c051a0d189
commit
f5a960da8f
1 changed files with 1 additions and 1 deletions
|
@ -10,7 +10,7 @@ case "$tip" in
|
|||
*) tip="${tip%% *}" ;;
|
||||
esac
|
||||
|
||||
base="$(git merge-base FETCH_HEAD "$tip")"
|
||||
base="$(git merge-base origin/HEAD "$tip")"
|
||||
|
||||
[ $(git rev-list --count "$tip" "^$base") -lt 200 ] || {
|
||||
echo "::error title=Branch out of date::Your branch is too out of date. Please rebase on upstream and force-push."
|
||||
|
|
Loading…
Add table
Reference in a new issue