Details
-
Bug
-
Status: Closed (View Workflow)
-
Major
-
Resolution: Fixed
-
None
-
Notable changes
-
Description
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 Foundation" is assigned.
If they are in neither staff not 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.
See https://docs.github.com/en/rest/orgs/members?apiVersion=2022-11-28 for details.