From dea7d8d3a20fa5d50227d040f0f4a7db99403395 Mon Sep 17 00:00:00 2001
From: Sergio del Amo <sergio.delamo@softamo.com>
Date: Mon, 28 Nov 2022 10:18:55 +0100
Subject: [PATCH] ci: githubCoreBranch=4.0.x [ci skip]  [