mirror of
https://github.com/bartvdbraak/omnidash.git
synced 2025-04-27 15:31:21 +00:00
fix: Author was incorrectly assigned to commit
This commit is contained in:
parent
0adede769b
commit
02194d5490
1 changed files with 3 additions and 1 deletions
4
.github/workflows/gh-pages-cleanup.yaml
vendored
4
.github/workflows/gh-pages-cleanup.yaml
vendored
|
@ -20,12 +20,14 @@ jobs:
|
||||||
- name: Delete directory in gh-pages
|
- name: Delete directory in gh-pages
|
||||||
if: github.event.ref_type == 'branch'
|
if: github.event.ref_type == 'branch'
|
||||||
run: |
|
run: |
|
||||||
|
git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
|
||||||
|
git config --global user.name "github-actions[bot]"
|
||||||
git fetch --all
|
git fetch --all
|
||||||
git checkout gh-pages
|
git checkout gh-pages
|
||||||
branchName=$(echo "${{ github.event.ref }}" | sed -e 's,^refs/heads/,,')
|
branchName=$(echo "${{ github.event.ref }}" | sed -e 's,^refs/heads/,,')
|
||||||
if [ -d "./${branchName}" ]; then
|
if [ -d "./${branchName}" ]; then
|
||||||
git rm -rf --ignore-unmatch "${branchName}"
|
git rm -rf --ignore-unmatch "${branchName}"
|
||||||
git commit -m "Cleanup directory for deleted branch ${branchName}" --author="github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>"
|
git commit -m "Cleanup directory for deleted branch ${branchName}"
|
||||||
git push origin gh-pages
|
git push origin gh-pages
|
||||||
else
|
else
|
||||||
echo "Directory doesn't exist for branch ${branchName}"
|
echo "Directory doesn't exist for branch ${branchName}"
|
||||||
|
|
Loading…
Reference in a new issue