Skip to content

Commit

Permalink
fix errors
Browse files Browse the repository at this point in the history
  • Loading branch information
ksentak committed May 13, 2024
1 parent 325f132 commit 8521ee7
Showing 1 changed file with 4 additions and 10 deletions.
14 changes: 4 additions & 10 deletions .github/workflows/clean-up-closed-pr-deployments.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,25 +16,19 @@ jobs:

- name: Delete PR Deployment Directory
run: |
PR_NUMBER="${{ github.event.pull_request.number }}"
PR_NUMBER="PR-${{ github.event.pull_request.number }}"
if [ -d "$PR_NUMBER" ]; then
rm -rf "$PR_NUMBER"
echo "Deleted folder: PR-$PR_NUMBER"
else
echo "Folder $PR_NAME does not exist."
exit 1
exit 0
fi
- name: Create Commit
- name: Commit and Push
run: |
git config --global user.name "github-actions[bot]"
git config --global user.email "github-actions[bot]@users.noreply.github.com"
git add .
git commit -m "Delete PR Deployment Directory"
git push origin github-iodeployment
- name: Push changes
uses: ad-m/github-push-action@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: github-io-deployment
git push origin github-io-deployment

0 comments on commit 8521ee7

Please sign in to comment.