I've done a manual update of the Github mirror so it should be at Eduardo's HEAD now.
Seems the "Public mirror" label is a Github-internal thing and not accessible to regular customers. I'll look into using a Github action or something else to keep it up to date automatically. I generally use SSH's SOCKS tunneling capability to route requests to a machine in the US and get around country blocks like this. Doug On Thu, 9 Oct 2025, Mark Hills via Alpine-info wrote:
I'm no longer able to follow Alpine development versions because of: https://repo.or.cz/uk-blocked.html So I'm interested in a mirror, which this appears to be https://github.com/alpinemail/alpine Hoever the mirror hasn't updated since 2024-05-27. Please can I express my thanks, and interest in having this available? That repo is labelled in GitHub as "Public" and not "Public mirror" -- which is what I've seen on other projects where GitHub is aware and automates the mirroring. So I assume this is just a regular repo that is pushed to by someone. Is that person able to help, or can someone offer an alternative mirror? Thanks -- Mark _______________________________________________ Alpine-info mailing list [email protected] http://mailman23.u.washington.edu/mailman/listinfo/alpine-info
_______________________________________________ Alpine-info mailing list [email protected] http://mailman23.u.washington.edu/mailman/listinfo/alpine-info
