chore: Simplify pyproject language profile #591

Merged
wetneb merged 1 commit from combine_pyproject_queries into main 2025-09-17 11:12:58 +02:00
Owner

I forgot that we can always combine queries by making a union of them, simply by writing them in a sequence.
Given that they are associated with the same separator and delimiters, that simplifies the language profile a bit, and might even be somewhat faster (not sure).

I forgot that we can always combine queries by making a union of them, simply by writing them in a sequence. Given that they are associated with the same separator and delimiters, that simplifies the language profile a bit, and might even be somewhat faster (not sure).
chore: Simplify pyproject language profile
All checks were successful
/ test (pull_request) Successful in 37s
3d019309f6
ada4a approved these changes 2025-09-17 09:17:48 +02:00
ada4a left a comment
Owner

nice!

nice!
wetneb merged commit 348d9e3498 into main 2025-09-17 11:12:58 +02:00
ada4a deleted branch combine_pyproject_queries 2025-09-17 13:51:35 +02:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: mergiraf/mergiraf#591
No description provided.