On Wed, 18 Feb 2026 at 17:21, Daniel Gustafsson <[email protected]> wrote:
> > 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? > Fair point. I think I was just thinking "never let a domain name go because someone will take it", but this is a hostname and not a domainname... So yeah, that does sound like a better solution. -- Magnus Hagander Me: https://www.hagander.net/ <http://www.hagander.net/> Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>
