Niels de Vos ba991cbb85 ci: use github.event.label.name for check in pull-request-commenter ... The `github.event.label.name` was replaced by `github.event.pull_request.label` in PR #3862. It seems that the value always is `null`, which causes the pull-request-commenter to skip the events for `ok-to-test` label additions. By using the original `github.event.label.name`, things work again as expected. Signed-off-by: Niels de Vos <ndevos@ibm.com>		2023-06-01 11:52:02 +00:00
..
ISSUE_TEMPLATE	cleanup: rework on naming conventions	2021-09-24 06:17:17 +00:00
workflows	ci: use github.event.label.name for check in pull-request-commenter	2023-06-01 11:52:02 +00:00
dependabot.yml	ci: no need to run multi-arch-build for /actions/retest	2023-02-20 14:18:15 +00:00
pull_request_template.md	doc: rename "master" branch to "devel"	2021-03-01 10:51:30 +05:30