[misc] feat: introduce a style bot.

[sayakpaul]

What does this PR do?

This PR introduces a workflow for allowing us to use the GitHub Actions bot to do @bot /style on PRs that are close to merging but cannot be merged because of styling issues.

I have experimented with the workflow in this dummy repository: https://github.com/sayakpaul/poc-style-bot.

This is how it'd look like:

Workflow run: https://github.com/sayakpaul/poc-style-bot/actions/runs/12366322159

@hlky possible for you to give this a look and try it out?

[hlky]

This type of workflow event will only trigger if the workflow is on the default branch so we can't test it here, but it appears correct and is working on your test repo. My only comment is that make style && make quality can just be make style and sometimes we need to do ruff check $(check_dirs) setup.py --fix --unsafe-fixes, probably better to do --unsafe-fixes manually though.

https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#issue_comment

This event will only trigger a workflow run if the workflow file is on the default branch.

[sayakpaul]

an just be make style and sometimes we need to do ruff check $(check_dirs) setup.py --fix --unsafe-fixes, probably better to do --unsafe-fixes manually though.

Yeah usually make style && make quality is the command we're looking into using. Anything other than that, should be applied manually, IMO.

This type of workflow event will only trigger if the workflow is on the default branch so we can't test it here

Yeah exactly. Sorry, I should have made it clear. My ask was more about checking the structure of the workflow and the dummy repo I tested it on.

@DN6 could you give this a look too?