fix: 'closed' filter behavior in PR section#200

Merged

mehul-m-prajapati merged 1 commit intoGitMetricsLab:mainfrom

Srijatalamarla:fix/PR-closed-filter

Aug 29, 2025

Commits on Aug 28, 2025

fix: closed filter in PR section
Srijatalamarla
committed