Add TIP status filter#2

Open

decofe wants to merge 1 commit into

decofe:filter-tips-by-status

decofe commented May 20, 2026

Summary

add a URL-backed status filter to the TIP index
derive filter options from loaded TIP statuses, including proposed PR-backed TIPs
carry PR metadata through search results so status badges and filtering stay consistent while searching

Test plan

pnpm check:types
pnpm build


          Add TIP status filter

1d127ce

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet