php/archived-doc-en
1
0
Fork 0
mirror of https://github.com/php/doc-en.git synced 2026-03-23 23:32:18 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix check-whitespace.yml

Browse Source 
This sets up the identity first, because otherwise the merge appears to fail
unpredictably.
This commit is contained in:
Tim Düsterhus
2023-01-10 23:51:23 +01:00
parent a0d6ceeacd
commit 676793d907
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/check-whitespace.yml vendored
View File

@@ -20,10 +20,10 @@ jobs:
with:
fetch-depth: 0
- run: git checkout ${{github.event.pull_request.base.sha}}
- run: git merge --squash ${{github.event.pull_request.head.sha}}
- run: |
git config --global user.name "check-whitespace"
git config --global user.email "check-whitespace@example.com"
- run: git checkout ${{github.event.pull_request.base.sha}}
- run: git merge --squash ${{github.event.pull_request.head.sha}}
- run: git commit -m "Squashed"
- run: git log --check HEAD^..HEAD