Niels de Vos 38c4832665 ci: do not leave testing comments on merged PRs ... A PR with status `github.event.pull_request.merged == true` does not need to be tested again. Signed-off-by: Niels de Vos <ndevos@redhat.com>		2022-11-11 11:35:05 +00:00
..
ISSUE_TEMPLATE	cleanup: rework on naming conventions	2021-09-24 06:17:17 +00:00
workflows	ci: do not leave testing comments on merged PRs	2022-11-11 11:35:05 +00:00
dependabot.yml	ci: Included githubactions in the dependabot config	2022-05-05 09:57:57 +00:00
pull_request_template.md	doc: rename "master" branch to "devel"	2021-03-01 10:51:30 +05:30