Skip to content

Commit 84c651f

Browse files
Update src/ghdcbot/engine/planning.py
Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>
1 parent 0ab21da commit 84c651f

1 file changed

Lines changed: 4 additions & 1 deletion

File tree

src/ghdcbot/engine/planning.py

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -190,10 +190,13 @@ def plan_discord_roles(
190190
and merge_role_rules.rules
191191
):
192192
merged_count = merged_pr_counts.get(mapping.github_user, 0)
193+
sorted_merge_rules = sorted(
194+
merge_role_rules.rules, key=lambda rule: rule.min_merged_prs
195+
)
193196
# Find highest eligible role (deterministic: last in sorted rules)
194197
eligible_merge_roles = [
195198
rule.discord_role
196-
for rule in merge_role_rules.rules
199+
for rule in sorted_merge_rules
197200
if merged_count >= rule.min_merged_prs
198201
]
199202
# Highest eligible role is the last one (rules sorted by threshold ascending)

0 commit comments

Comments
 (0)