Skip to content

Adapt links GitLab -> GitHub; Reduce GitLab CI: Only pages with redirect#98

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

Adapt links GitLab -> GitHub; Reduce GitLab CI: Only pages with redirect#98
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 4b1430c to 246ac89 Compare February 13, 2026 09:25
@jonasschwab jonasschwab merged commit 5a41066 into master Feb 13, 2026
13 of 32 checks passed
@jonasschwab jonasschwab deleted the adap-gitlab-links-to-github branch February 13, 2026 09:26
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