Re: Mirrors and code hosting

[Oliver Kiddle <opk@xxxxxxx>]

Jim wrote:
>   git clone [2]https://gitlab.com/zsh-org/zsh.git
>
> I guess the question is why have it if it is out of date?

Because I'm not able to delete it. Seems only the "owner" can do that
which is only one person. Might be possible to empty it out with a
commit or force push an empty repository. For anything we newly adopt we
should make sure there are several people with full permissions.

Oliver