Nick Bolton 13bf2dace4 Only add PR comments for internal PR (#7448) ... * Add write permission for issues * Add write permission to PRs * Update ChangeLog * Fixed ChangeLog version * Correct ChangeLog * Remove GITHUB_TOKEN input * Revert "Remove GITHUB_TOKEN input" This reverts commit e868a8d3f4. * Use COMMENT_PAT for GITHUB_TOKEN * Use default permissions * Only use `sticky-pull-request-comment` for internal PRs * Update ChangeLog		2024-08-23 10:38:17 +01:00
..
actions	Only add PR comments for internal PR (#7448)	2024-08-23 10:38:17 +01:00
docker	Run Valgrind on unit tests in CI to detect memory leaks (#7401)	2024-07-17 09:22:46 +01:00
ISSUE_TEMPLATE	Update .github/ISSUE_TEMPLATE/config.yml	2024-07-23 11:44:19 +01:00
workflows	Only add PR comments for internal PR (#7448)	2024-08-23 10:38:17 +01:00
FUNDING.yml	Create FUNDING.yml	2021-10-27 14:17:25 +01:00