Skip to content

Revert "ppg:common:deps: fetch bison via ftpmirror.gnu.org" - #21

Merged
rjd15372 merged 1 commit into
mainfrom
revert-bison-mirror
Aug 31, 2026
Merged

Revert "ppg:common:deps: fetch bison via ftpmirror.gnu.org"#21
rjd15372 merged 1 commit into
mainfrom
revert-bison-mirror

Conversation

@rjd15372

Copy link
Copy Markdown
Collaborator

Reverts the bison download_url switch to ftpmirror.gnu.org (ec8d8a2, PR #18) back to the original ftp.gnu.org URL.

ftpmirror.gnu.org turned out to be GNU's own redirector on the same infrastructure as ftp.gnu.org (209.51.188.200 vs .20), and it currently answers 502 Bad Gateway from everywhere — runners and workstations alike — while ftp.gnu.org itself is reachable again. The PR #16 check failed on exactly that 502 (in 67 s, thanks to the WGETRC fail-fast).

Reverting also restores the original download_url cache key, whose entry already exists in the restorable deps caches — so PR runs serve bison from cache and don't contact ftp.gnu.org at all. If a cold cache ever forces a download while ftp.gnu.org is misbehaving again, the obs-setup WGETRC caps the cost at ~2 minutes.

The other two PR #18 fixes (deps cache path alignment, fail-fast wget) stay in place.

This reverts commit ec8d8a2 (ad4ee23 before the rebase-merge).

ftpmirror.gnu.org is not a third-party mirror: it is GNU's own
redirector on the same infrastructure as ftp.gnu.org (209.51.188.200
vs .20) and it is currently answering 502 Bad Gateway from everywhere,
runners and workstations alike, while ftp.gnu.org itself is reachable
again.  Go back to the original ftp.gnu.org URL.

The download_url cache key returns to its previous value, so existing
deps caches serve bison again without a fresh download; when the host
does act up, the WGETRC fail-fast from obs-setup caps the cost at
~2 minutes instead of 90.

Signed-off-by: Ricardo Dias <ricardo.dias@percona.com>
@rjd15372
rjd15372 merged commit 46bdfe3 into main Aug 31, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant