chore: Add tofu workflows #1

Merged
Peter merged 82 commits from pgi-add-workflows into main 2026-02-18 22:55:53 +01:00
Showing only changes of commit 01a050dee3 - Show all commits

View file

@ -89,7 +89,7 @@ jobs:
if [ -n "${comment_id}" ] && [ "${comment_id}" != "null" ]; then
echo "Found comment, updating..." && \
echo "Found comment with id ${comment_id}, updating..." && \
curl -s -X PATCH \
-H "Authorization: token ${{ secrets.FORGEJO_TOKEN }}" \
-H "Content-Type: application/json" \