> On 18 Feb 2026, at 16:07, Magnus Hagander <magnus@hagander.net> wrote:
> Thus, the suggestion is to shut the service down completely.
+1
> replace the host with a hard redirect to the root of the git repository site. It would *not* track the individual
filesor anything, just send the entire host to the git server.
Why redirect it and not just let it join developer.postgresql.org in the
retirement home?
--
Daniel Gustafsson
