Pedro Figueiredo 8df3bc9c1b Label PRs based on the labels of the associated issue (#17603) ... * Implement CI to copy issue labels over to PRs * wip * wip * wip * wip * wip * wip * wip * wip * wip * clean up * clean up		2023-05-08 09:51:02 +01:00
..
pre-commit	Add testing documentation (#17411)	2023-02-09 17:08:48 +00:00
pre-push	Label PRs based on the labels of the associated issue (#17603)	2023-05-08 09:51:02 +01:00