On Tue Jan 30, 2024 at 9:05 AM CET, Christian Hesse wrote: > There's a patch available: > https://git.zx2c4.com/cgit/log/?h=ch/default-pages > > But is has not been merged to the master branch. Cgit however isn’t completely dead, is it (looking at the log, there seems to be still some life in it)? So, what’s keeping this patch from being merged? Is it so bad, dangerous? Best, Matěj -- http://matej.ceplovi.cz/blog/, @mcepl@floss.social GPG Finger: 3C76 A027 CA45 AD70 98B5 BC1D 7920 5802 880B C9D8 I disapprove of what you say, but I will defend to the death your right to say it. -- mistakenly attributed to Voltaire