chore: add 'askumar27' to PR labeler configuration (#14949)

This commit is contained in:
Sergio Gómez Villamor 2025-10-08 17:39:56 +02:00 committed by GitHub
parent 5cdb7e2594
commit 3caa781540
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -60,7 +60,8 @@ jobs:
"alexsku", "alexsku",
"benjiaming", "benjiaming",
"deepgarg760", "deepgarg760",
"petemango" "petemango",
"askumar27"
]'), ]'),
github.actor github.actor
) )