On Thu, 9 Oct 2025, Doug Luce wrote: > I've done a manual update of the Github mirror so it should be at > Eduardo's HEAD now.
Thanks, I can see those patches now. Very helpful. > 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. That would be a great, thank you. A shame they no longer offer this as a first-class feature, but I suspect that's their business interests. > I generally use SSH's SOCKS tunneling capability to route requests to a > machine in the US and get around country blocks like this. Yes, and I won't speak on UK politics here but I suspect as a technical problem it's best to look for solution from both sides. I'll investigate using Git over a SOCKS proxy (any tips appreciated) so I always have an option. But also it's healthy for a project like Alpine to have mirrors. FWIW I'm generally supportive of the use of a smaller hosting provider (like repo.or.cz); instead of the whole world on GitHub. Thanks again, -- Mark _______________________________________________ Alpine-info mailing list [email protected] http://mailman23.u.washington.edu/mailman/listinfo/alpine-info
