GitHub does not offer to navigate PR based on extension of modified files.

Ha that's a shame. Any existing feature request that we could +1 ?

Also I'm wondering: is the labeling retroactive and if it's not, is it still useful?

Also I'm wondering: is the labeling retroactive and if it's not, is it still useful?

I can run a small script that does it once for all PRs, if we think the cython label is useful.

As for this PR, I would add another file for non-module related labeling named labeler-file-extensions.yml and add another job to:

My fork of the labeler puts a cap on the number of labels using the max-label config. We can remove the max-label cap for the "file-extensions" labeler.

jobs:
  triage_file_extensions:
    runs-on: ubuntu-latest
    steps:
    - uses: thomasjpfan/labeler@v2.5.0
      continue-on-error: true
      if: github.repository == 'scikit-learn/scikit-learn'
      with:
        repo-token: "${{ secrets.GITHUB_TOKEN }}"
        configuration-path: ".github/labeler-file-extensions.yml"

Any existing feature request that we could +1 ?

There are a few stalled PRs related to implementations written Cython. They can be found, but indirectly searching for modules or specific words. I think this might also be useful from a triage and maintenance point of views, especially if retro-activity is possible as suggested by @thomasjpfan.

@jeremiedbb, @ogrisel: would this be of your interest as well?

I pushed 47210cc, the module labeler did work but not the new labeler as I assume it does not work as long as the new workflow config is not merged into main branch. I will undo my commit.

Let's merge then, @jjerphan would you mind opening a new PR to test this out?

@NicolasHug: there you go, #19884 kills two birds with one stone.

I ran a script to label PRs with "cython" if they matched the glob. (There were 72 PRs)

Thanks @thomasjpfan, @ogrisel and @NicolasHug for your quick inputs: this will helps other people and me in their work. 😉