pitrou opened a new pull request, #50256: URL: https://github.com/apache/arrow/pull/50256
### Rationale for this change Our "Extra" labels for CI are currently both manual and automatic: * manual, such that a committer can add a label to force an additional of CI jobs to run on a PR * automatic, such that specific file changes can also force those additional CI jobs to run However, the two mechanisms can conflict with each other, when an Extra label is manually added by a committer, but none of the file changes match. The label can then be later removed by the automatic labelling bot. ### What changes are included in this PR? Make the "Extra" labels manual-only. ### Are these changes tested? N/A. ### Are there any user-facing changes? No. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
