On Sun, 30 Nov 2025 at 23:57, Jelte Fennema-Nio <[email protected]> wrote:
> 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. > Seems perfectly reasonable -- I'd expect anybody who works on that stuff with any form of regularity to already be logged in, so I don't think it'll add any substantial friction. Thanks! //Magnus
