You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
echo "DISCOURSE_ERROR=Failed to retrieve new thread ID" >> $GITHUB_ENV
65
+
exit 1
66
+
fi
67
+
68
+
echo "THREAD_ID=$THREAD_ID" >> $GITHUB_ENV
69
+
- name: Add a comment if the workflow failed
70
+
if: failure()
71
+
run: |
72
+
gh issue comment ${{ github.event.issue.number }} --body "Failed to move this issue to the Typst Forum. This is the error that the API call returned: $DISCOURSE_ERROR"
73
+
- name: Add comment and close as not planned
74
+
run: |
75
+
gh issue close "$NUMBER" --reason "not planned" --comment "$BODY"
76
+
env:
77
+
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
78
+
GH_REPO: ${{ github.repository }}
79
+
NUMBER: ${{ github.event.issue.number }}
80
+
BODY: >
81
+
We moved this issue to the Typst Forum. Please continue the discussion there: https://forum.typst.app/t/${{ env.THREAD_ID }}
0 commit comments