Can we identify requests from CI servers reliably?

IshKebab 10 hours ago | parent | next [-]

You can identify requests from Github's free CI reliably which probably covers 99% of requests.

For example GMP blocked GitHub:

This "emergency measure" is still in place, but there are mirrors available so it doesn't actually matter too much.

	▲	ncruces 10 hours ago \| parent [-]
		I try to stick to GitHub for GitHub CI downloads. E.g. my SQLite project downloads code from the GitHub mirror rather than Fossil.

Gigachad 10 hours ago | parent | prev [-]

Sure, have a js script involved in generating a temporary download url.

That way someone manually downloading the file is not impacted, but if you try to put the url in a script it won’t work.