Skip to content

Conversation

@jrfnl
Copy link
Member

@jrfnl jrfnl commented Nov 24, 2025

Description

Use HTTPS links in various places where the current URLs were redirecting to their HTTPS counterparts.

@github-actions
Copy link

github-actions bot commented Nov 24, 2025

=== This is an auto-generated comment ===

Thank you for your PR.
A dry-run has been executed on your PR, executing all markdown pre-processing for the wiki files.

Please review the resulting final markdown files via the created artifact.
This is especially important when adding new pages or updating auto-generated output blocks.

N.B.: the above link will automatically be updated when this PR is updated.

... in various places where the current URLs were redirecting to their HTTPS counterparts.
@jrfnl jrfnl force-pushed the wiki/improve-links branch from 34d33ec to 78d7c79 Compare November 24, 2025 07:46
@jrfnl jrfnl merged commit 2b85480 into main Nov 24, 2025
14 checks passed
@jrfnl jrfnl deleted the wiki/improve-links branch November 24, 2025 07:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants