a few more untested fixes
This commit is contained in:
parent
a58df19920
commit
ea22abd68f
@ -48,7 +48,7 @@ jobs:
|
||||
git clean -fd
|
||||
else
|
||||
# No repo: clone it
|
||||
git clone --depth 1 --filter=blob:none "https://github.com/${REPO}" .
|
||||
git clone --depth 1 --filter=blob:none -b "$REF_NAME" "https://github.com/${REPO}" .
|
||||
git checkout "$REF_NAME"
|
||||
fi
|
||||
|
||||
@ -66,10 +66,10 @@ jobs:
|
||||
set -euo pipefail
|
||||
if git diff --quiet; then
|
||||
echo "has_changes=false" >> "$GITHUB_OUTPUT"
|
||||
echo "::notice::No changes detected after rewrite-kernel-patches"
|
||||
echo "::notice::No changes detected after ${WHATTODO}"
|
||||
else
|
||||
echo "has_changes=true" >> "$GITHUB_OUTPUT"
|
||||
echo "::notice::Changes detected after rewrite-kernel-patches - PR will be created"
|
||||
echo "::notice::Changes detected after ${WHATTODO} - PR will be created"
|
||||
fi
|
||||
|
||||
- name: Build PR body
|
||||
|
||||
Loading…
Reference in New Issue
Block a user