foo apr <[email protected]> writes: > It seems the 4.0 tags are not pushed to https://github.com/gnutls/nettle/tags, > can you please take a look?
I agree recent tags seem missing there, even though it does have the latest commits, and tags have propageted to the gitlab mirror, see https://gitlab.com/gnutls/nettle/-/tags. I'm afraid I have little clue about the github mirror (set up as a "push mirror" from gitlab.com). Regards, /Niels -- Niels Möller. PGP key CB4962D070D77D7FCB8BA36271D8F1FF368C6677. Internet email is subject to wholesale government surveillance. _______________________________________________ nettle-bugs mailing list -- [email protected] To unsubscribe send an email to [email protected]
