Niels de Vos 360df61eb0 ci: github.event.pull_request.merged is a boolean, not a string ... With the updates to the pull-request-commenter, all strings were placed within `'` to prevent syntax issues. It seems that `github.event.pull_request.merged` really is a boolean (or `null`), and not a string. Doc: https://docs.github.com/en/webhooks-and-events/ ("payloads" section) Signed-off-by: Niels de Vos <ndevos@ibm.com>		2023-05-31 09:44:25 +00:00
..
ISSUE_TEMPLATE	cleanup: rework on naming conventions	2021-09-24 06:17:17 +00:00
workflows	ci: github.event.pull_request.merged is a boolean, not a string	2023-05-31 09:44:25 +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