On Sat, 15 Nov 2025 at 14:05, Magnus Hagander <[email protected]> wrote: > If it was restricted to only show those that had actually submitted into it > would've probably been considered OK - but at the time it was not considered > to be worth the effort to split those up.
I did this now: https://github.com/postgres/pgcommitfest/commit/9c2e63d83ea6be4cd8554016980aee1b1e798ad5 Only downside is that this didn't work for the fancy new global search. So I made that page login-only completely. Given it should only be used by power users that seems acceptable.
