"Dormant" maintenance filter has no effect — pushed: null is ignored

[AditthyaSS]

In src/components/FilterChips.jsx, the Dormant maintenance filter sets pushed: null:

js

{ key: 'dormant', label: '🔴 Dormant', pushed: null }
In src/api/github.js, the pushed filter is applied as:

js

if (filters.pushed) {
q += pushed:>${filters.pushed};
}
Since null is falsy, clicking "Dormant" adds no filter — it behaves identically to "All repos".

Expected: Dormant should filter for repos that haven't been pushed to in a long time (e.g., pushed:<YYYY-MM-DD for 6+ months ago).

Suggested fix: Handle dormant as a pushed:DATE.

[sumittiwari1302]

Hi,
I'd like to work on this issue as part of ECSoC 2026.

I've gone through the issue and would appreciate it if you could assign it to me.

Thank you!

[sumittiwari1302]

Hi @AditthyaSS , could you please check this issue again? I've already created the PR, and it has been merged. Could you please verify it and close this issue if everything looks good? Thanks!