Re: Killing off anoncvs.postgresql.org

On Wed, 18 Feb 2026 at 17:21, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:

> > On 18 Feb 2026, at 16:07, Magnus Hagander <magnus(at)hagander(dot)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 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/>