mirror of
https://github.com/tiramisulabs/seyfert.git
synced 2025-07-01 20:46:08 +00:00
fix: failure lint in pr coming from forks
This commit is contained in:
parent
54601594f1
commit
24f4b140cd
25
.github/workflows/lint.yml
vendored
25
.github/workflows/lint.yml
vendored
@ -33,8 +33,27 @@ jobs:
|
||||
git config --global user.name 'github-actions[bot]'
|
||||
git config --global user.email '41898282+github-actions[bot]@users.noreply.github.com'
|
||||
git add .
|
||||
git commit -m "chore: apply formatting"
|
||||
git pull --rebase origin ${{ github.head_ref }}
|
||||
git push origin HEAD:${{ github.head_ref }}
|
||||
git commit -m "chore: apply formatting"
|
||||
git fetch origin ${{ github.head_ref }}
|
||||
git rebase origin/${{ github.head_ref }}
|
||||
git push origin HEAD:${{ github.head_ref }} --force
|
||||
env:
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||
continue-on-error: true
|
||||
|
||||
- name: Checkout PR branch
|
||||
if: failure()
|
||||
uses: actions/checkout@v3
|
||||
with:
|
||||
ref: refs/pull/${{ github.event.number }}/merge
|
||||
|
||||
- name: Commit and Push PR changes
|
||||
if: failure()
|
||||
run: |
|
||||
git config --global user.name 'github-actions[bot]'
|
||||
git config --global user.email '41898282+github-actions[bot]@users.noreply.github.com'
|
||||
git add .
|
||||
git commit -m "chore: apply formatting"
|
||||
git push origin HEAD:refs/pull/${{ github.event.number }}/head --force
|
||||
env:
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||
|
Loading…
x
Reference in New Issue
Block a user