It seems we are getting a lot of 403 when downloading code from github on gitlab ci. Example https://gitlab.com/coq/coq/-/pipelines/983882236
Could it be rate limiting?
looks like GitHub is returning 403 Forbidden for all URLs
ah, this happens with plain
wget, but not in browser
so they likely implemented some kind of fingerprinting or other stuff that makes plain
This fails in Coq's CI and for me locally:
wget https://github.com/uwplse/StructTact/archive/2f2ff253be29bb09f36cab96d036419b18a95b00.tar.gz # 403 Forbidden
curl works, at least locally:
curl -O -J -L https://github.com/uwplse/StructTact/archive/2f2ff253be29bb09f36cab96d036419b18a95b00.tar.gz # get file called StructTact-2f2ff253be29bb09f36cab96d036419b18a95b00.tar.gz
wget is working again:
We blocked a scraper which was causing some performance impact earlier and it appears our pattern wasn't specific enough, so it accidentally flagged more clients than we wanted. We've restricted the pattern to be more specific so it shouldn't impact other parties, and things should be back to normal.
Last updated: Nov 29 2023 at 21:01 UTC