Skip to content

GitLab pages: Add additional redirect.#101

Merged
jonasschwab merged 1 commit intomasterfrom
adap-gitlab-links-to-github
Feb 13, 2026
Merged

GitLab pages: Add additional redirect.#101
jonasschwab merged 1 commit intomasterfrom
adap-gitlab-links-to-github

Conversation

@jonasschwab
Copy link
Contributor

No description provided.

@jonasschwab jonasschwab force-pushed the adap-gitlab-links-to-github branch from 2b327f3 to a1fa999 Compare February 13, 2026 09:34
@jonasschwab jonasschwab merged commit a3ba3f5 into master Feb 13, 2026
32 checks passed
@jonasschwab jonasschwab deleted the adap-gitlab-links-to-github branch February 13, 2026 09:35
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