From 9843fbd20525becd5751227aaab2570cff481b17 Mon Sep 17 00:00:00 2001 From: Joshua Thijssen Date: Thu, 30 Nov 2023 16:41:15 +0100 Subject: [PATCH] up --- .github/workflows/pr-author-check.yml | 2 +- AUTHORS | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/pr-author-check.yml b/.github/workflows/pr-author-check.yml index 3c4b09db1..e363b8690 100644 --- a/.github/workflows/pr-author-check.yml +++ b/.github/workflows/pr-author-check.yml @@ -5,7 +5,7 @@ on: types: [opened, reopened, synchronize] permissions: - issues: write + # Need permissions to write to the pull request by the check-authors.sh script pull-requests: write jobs: diff --git a/AUTHORS b/AUTHORS index 17021cd08..85c8e02b6 100644 --- a/AUTHORS +++ b/AUTHORS @@ -4,6 +4,6 @@ # Please keep this list sorted alphabetically or run `python scripts/sort_authors.py` to auto-sort the authors list. Ahmed Ibrahim - +Joshua Thijssen Niklas Scheerhoorn Zach Weaver