Christian Marangi 7d63c39bf4 CI: labeler: fix wrong label for pr targeting stable branch ... The label used for stable branch is in the form of release/[0-9][0-9].[0-9][0-9] Currently we apply the name of the target branch as the label, fix this and correctly use the current label. (cherry picked from commit af8bc8e51b) Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>		2022-12-01 01:57:01 +01:00
..
ci_helpers.sh	CI: add formal checks	2022-01-29 16:44:11 +01:00
formal.yml	build: harden GitHub workflow permissions	2022-11-27 17:39:36 +01:00
labeler.yml	CI: labeler: fix wrong label for pr targeting stable branch	2022-12-01 01:57:01 +01:00
tools.yml	build: harden GitHub workflow permissions	2022-11-27 17:39:36 +01:00