On 9/21/2025 16:59, Oliver Kiddle wrote:
From my research on sourcehut, my idea was a central account and share the password with the core developers in PGP encrypted mail. Each could store it in their preferred secret store.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