Skip to content

Conversation

Oa8choo2
Copy link
Contributor

Change http to https where needed

Godfried Borremans — UGent added 4 commits August 27, 2025 13:43
The old mik.ua has no https and/or a wrong ssl certificate.
The server archive.org provides this.
The version overthere is the 'second edition'.
@Oa8choo2 Oa8choo2 added wip work in progress do-not-merge This PR should not be merged by anyone aside from the author labels Aug 27, 2025
Godfried Borremans — UGent added 2 commits August 27, 2025 16:02
@boegel
Copy link
Member

boegel commented Aug 28, 2025

@Oa8choo2 We may need to whitelist some more URLs to make CI happy, I suspect more & more sites are refusing connections when they're coming from an automated system (like CI in GitHub Actions), as a result of AI data harvesting crawlers...

@boegel
Copy link
Member

boegel commented Aug 29, 2025

@Oa8choo2 CI issues are bypassed via 883b347 (which I've included in PR #1005)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

do-not-merge This PR should not be merged by anyone aside from the author wip work in progress

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants