Skip to content

Conversation

alexander-beedie
Copy link
Collaborator

@alexander-beedie alexander-beedie commented Jul 30, 2025

Minor quality of life update; automatically add the sql label if we see "SQL" in the PR title.

(Could probably benefit from a few more of these; might add some other ones later 🤔)

@github-actions github-actions bot added internal An internal refactor or improvement python Related to Python Polars rust Related to Rust Polars labels Jul 30, 2025
@alexander-beedie alexander-beedie added the ci Related to the continuous integration setup label Jul 30, 2025
@alexander-beedie alexander-beedie changed the title ci: Automatically tag patches mentioning "SQL" with the appropriate label ci: Automatically tag PRs mentioning "SQL" with the appropriate label Jul 30, 2025
@ritchie46 ritchie46 merged commit 0f87392 into pola-rs:main Jul 30, 2025
5 checks passed
@alexander-beedie alexander-beedie deleted the tag-sql-patches branch July 30, 2025 15:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci Related to the continuous integration setup internal An internal refactor or improvement python Related to Python Polars rust Related to Rust Polars
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants