Michael Kaye 1c7f95c196 Add .login to get the username of the PR merger. ... I dispair at the github actions docs.		2022-05-17 17:40:42 +01:00
..
ISSUE_TEMPLATE
workflows	Add .login to get the username of the PR merger.	2022-05-17 17:40:42 +01:00
dependabot.yml
PULL_REQUEST_TEMPLATE.md