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
..
build.yml
docs.yml
gradle-wrapper-validation.yml
post-pr.yml
quality.yml
sonarqube.yml
sync-from-external-sources.yml
tests.yml
triage-incoming.yml
triage-labelled.yml
triage-move-review-requests.yml
triage-priority-bugs.yml
triage-unlabelled.yml
update-gradle-wrapper.yml