George Sapkin a0531c7822 formal: post formality check comments to PRs ...

Enable posting formality check comments and warn if 'Allow edits and
access to secrets by maintainers' is not checked.

Signed-off-by: George Sapkin <george@sapk.in>

2025-12-15 21:40:40 +01:00

..

codeql

house-keeping: Enable Code Query Language (CodeQL) scanning

2024-01-31 23:38:41 +01:00

ISSUE_TEMPLATE

github: update TOH links

2025-08-01 23:13:01 +02:00

workflows

formal: post formality check comments to PRs

2025-12-15 21:40:40 +01:00

pull_request_template.md

house-keeping: PR template with submission checklist

2024-01-30 01:27:30 +01:00