chore(ci): update Josema user for labeling purposes (#10041)

This commit is contained in:
Andoni Alonso
2026-02-12 11:46:14 +01:00
committed by GitHub
parent b0ee914825
commit 3afa98084f
+1 -1
View File
@@ -55,7 +55,7 @@ jobs:
"danibarranqueroo"
"HugoPBrito"
"jfagoagas"
"josemazo"
"josema-xyz"
"lydiavilchez"
"mmuller88"
"MrCloudSec"