On 2025-07-11 Simon Josefsson <si...@josefsson.org> wrote: [...] > The migration re-created the master branch, but I pushed it as main now. > I'm not sure we should remove the master branch? We can just stop push > to it. [...]
please remove master, imho it is misleading if it exists but does not have the expect role (the branch where I can find latest/greatest). TIA, cu Andreas -- `What a good friend you are to him, Dr. Maturin. His other friends are so grateful to you.' `I sew his ears on from time to time, sure' _______________________________________________ Gnutls-help mailing list Gnutls-help@lists.gnutls.org http://lists.gnupg.org/mailman/listinfo/gnutls-help
