4 ms·
The title is a bit confusing. It seems the GMP project has a self-hosted Mercurial repo (https://gmplib.org/devel/repo-usage https://gmplib.org/devel/repo-usag
by rwmj 3y ago
The title is a bit confusing. It seems the GMP project has a self-hosted Mercurial repo (https://gmplib.org/devel/repo-usage https://gmplib.org/devel/repo-usage) which is being hit by a user at Microsoft that they've somehow tied back to a single github account.
I'm sure it's going to be CI or mirroring or some other automated process.
- cxr 3y agoWhy is this a response to the person you sent this reply to?
- rwmj 3y agoGithub can't easily cache a remotely hosted repo that some random CI test (essentially a script) accesses, at least not without some very hairy proxying.
- cxr 3y agoIs GitHub's CI infrastructure (and cloud compute, generally) not hairy? (A basic attempt at straightforward proxying seems like it would be the _least_ hairy aspect of the stack, besides.)