Martin von Zweigbergk b5659ec680 github: give Clippy action full permissions ... I've found it hard to figure out which actions need which permissions. GitHub doesn't seem to even document what the permissions mean. So let's just give Clippy full access.		2022-03-16 20:28:54 -07:00
..
workflows	github: give Clippy action full permissions	2022-03-16 20:28:54 -07:00
ISSUE_TEMPLATE.md	github: include version number in issue template again	2022-03-12 23:34:37 -08:00
PULL_REQUEST_TEMPLATE.md	github: update PR template to explain expectations	2022-03-02 08:11:31 -08:00