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 e868a8d3f4b753f758b4b2bd25aef78e4d4d62d7.

* 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