> On 18 Feb 2026, at 16:07, Magnus Hagander <[email protected]> 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 files or 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
