Edge Removal Fix

This commit is contained in:
Chris Titus
2024-08-06 15:50:36 -05:00
parent 04c84dce45
commit f38f534850
20 changed files with 67 additions and 67 deletions

View File

@ -14,7 +14,7 @@ jobs:
- name: Check if PR was merged
if: github.event.pull_request.merged == true
run: echo "PR was merged"
- name: Extract Discussion Number & Close If any Were Found
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
@ -23,7 +23,7 @@ jobs:
run: |
pr_body="${{ github.event.pull_request.body }}"
discussion_ids=$(echo "$pr_body" | grep -oP '(?i)(resolve|fix|close)[s|d]? #\K[0-9]+')
if [ -z "$discussion_ids" ]; then
echo "No discussion IDs found."
exit 0
@ -34,7 +34,7 @@ jobs:
response=$(curl -s -o /dev/null -w "%{http_code}" -X PATCH -H "Authorization: token $GITHUB_TOKEN" \
-d '{"state": "closed"}' \
"https://api.github.com/repos/${{ github.repository }}/discussions/$discussion_id")
if [ "$response" -ne 200 ]; then
echo "Failed to close discussion #$discussion_id. HTTP status code: $response"
exit 1

View File

@ -45,4 +45,4 @@ jobs:
- uses: stefanzweifel/git-auto-commit-action@v5
with:
commit_message: Compile Winutil
if: success()
if: success()

View File

@ -114,4 +114,4 @@ jobs:
git config --global user.name 'github-actions[bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
git add docs/changelog.md
git diff --quiet && git diff --staged --quiet || (git commit -m "Update changelog.md with all releases" && git push)
git diff --quiet && git diff --staged --quiet || (git commit -m "Update changelog.md with all releases" && git push)

View File

@ -2,7 +2,7 @@ name: GitHub Pages Deploy
on:
release:
types: [published, prereleased]
workflow_dispatch:
workflow_dispatch:
permissions:
contents: write
jobs:

View File

@ -53,4 +53,4 @@ jobs:
prerelease: true
generate_release_notes: true
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}