Skip to content

Add minimum_rank to name autocomplete - #336

Merged
vangberg merged 2 commits into
mainfrom
rank-aware-name-autocomplete
Sep 8, 2026
Merged

Add minimum_rank to name autocomplete#336
vangberg merged 2 commits into
mainfrom
rank-aware-name-autocomplete

Extract rank range lookup into Name

61b52b0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar