MDEV-38546: Automatically assign labels to lablesess PRs

[gkodinov]

The MariaDB server repository uses certain pull request labels as queue markers
for incoming pull requests as follows:

• External Contribution: for all external contributions
• MariaDB Corporation: for employees of the MariaDB corporation
• MariaDB Foundation: for the employees of the MariaDB foundation

Right now, when a new pull request is filed, these tags need to be applied
manually.
However a large % of these manual assignments can be automated by checking
if the author is in https://github.com/orgs/MariaDB/teams/staff
or in https://github.com/orgs/MariaDB/teams/developers.

If they are in staff "MariaDB Foundation" is assigned.

if they are not in staff, but are in developers, "MariaDB Corporation" is assigned.

If they are in neither staff nor developers, "External Contribution" is assigned.

A github workflow is created to do the assignments. It is being triggered
every day at 2AM. Or it can be triggered manually.

This is stage1 of the fix: it is read only and only prints the changes needed

[gkodinov]

See https://github.com/gkodinov/test-github-actions: this is my test repo

[grooverdan]

suggestion only. Otherwise fine.

[gkodinov]

No preference. I can drop it if that's the consensus. What's important for me is to have external contributions marked. Best Regards, Joro

…

On 13 Jan 2026, at 3:51, Daniel Black ***@***.***> wrote: @grooverdan commented on this pull request. suggestion only. Otherwise fine. In .github/workflows/copy-latest-pr-labels.yaml <#4536 (comment)>: > + + steps: + - name: Copy selected labels from last PR by same author + uses: ***@***.*** + with: + script: | + const { owner, repo } = context.repo; + const currentPr = context.payload.pull_request; + const author = currentPr.user.login; + const currentPrNumber = currentPr.number; + + const allowedLabels = new Set([ + 'External Contribution', + 'MariaDB Corporation', + 'MariaDB Foundation', + 'Codership']); Do you really want to maintain Codership as a label now that MariaDB Corporation acquired it? For (unknown) reasons they seem to be developing https://github.com/mariadb-corporation/codership-mariadb-server before @janlindstrom <https://github.com/janlindstrom> merges it. — Reply to this email directly, view it on GitHub <#4536 (review)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AA7GPBTWJEKX3DLK6MGV6CT4GRFTZAVCNFSM6AAAAACRNRYNHCVHI2DSMVQWIX3LMV43YUDVNRWFEZLROVSXG5CSMV3GSZLXHMZTMNJTGM3TQNRRGY>. You are receiving this because you were assigned.