mirror of
https://github.com/django/django.git
synced 2025-07-22 02:29:12 +00:00
[5.2.x] Fixed GitHub Action that checks commit prefixes to fetch PR head correctly.
Backport of 8499fba0e18826a77fe32cbc13a3d951d9ca8924 from main.
This commit is contained in:
parent
c1883c3b20
commit
fcc7c12f80
@ -19,9 +19,7 @@ jobs:
|
|||||||
id: vars
|
id: vars
|
||||||
run: |
|
run: |
|
||||||
BASE="${{ github.event.pull_request.base.ref }}"
|
BASE="${{ github.event.pull_request.base.ref }}"
|
||||||
HEAD="${{ github.event.pull_request.head.ref }}"
|
|
||||||
echo "BASE=$BASE" >> $GITHUB_ENV
|
echo "BASE=$BASE" >> $GITHUB_ENV
|
||||||
echo "HEAD=$HEAD" >> $GITHUB_ENV
|
|
||||||
VERSION="${BASE#stable/}"
|
VERSION="${BASE#stable/}"
|
||||||
echo "prefix=[$VERSION]" >> $GITHUB_OUTPUT
|
echo "prefix=[$VERSION]" >> $GITHUB_OUTPUT
|
||||||
|
|
||||||
@ -35,15 +33,15 @@ jobs:
|
|||||||
fi
|
fi
|
||||||
echo "✅ PR title has the required prefix."
|
echo "✅ PR title has the required prefix."
|
||||||
|
|
||||||
- name: Fetch base and head branches
|
- name: Fetch relevant branches
|
||||||
run: |
|
run: |
|
||||||
git fetch origin $BASE
|
git fetch origin $BASE:base
|
||||||
git fetch origin $HEAD
|
git fetch origin pull/${{ github.event.pull_request.number }}/head:pr
|
||||||
|
|
||||||
- name: Check commit messages prefix
|
- name: Check commit messages prefix
|
||||||
run: |
|
run: |
|
||||||
PREFIX="${{ steps.vars.outputs.prefix }}"
|
PREFIX="${{ steps.vars.outputs.prefix }}"
|
||||||
COMMITS=$(git rev-list origin/${BASE}..origin/${HEAD})
|
COMMITS=$(git rev-list base..pr)
|
||||||
echo "Checking commit messages for required prefix: $PREFIX"
|
echo "Checking commit messages for required prefix: $PREFIX"
|
||||||
FAIL=0
|
FAIL=0
|
||||||
for SHA in $COMMITS; do
|
for SHA in $COMMITS; do
|
Loading…
x
Reference in New Issue
Block a user