Skip to content

Revert "Add version to page"#143

Merged
Jaden51 merged 1 commit intomainfrom
revert-142-Add-version-to-page
Feb 9, 2026
Merged

Revert "Add version to page"#143
Jaden51 merged 1 commit intomainfrom
revert-142-Add-version-to-page

Conversation

@Jaden51
Copy link
Contributor

@Jaden51 Jaden51 commented Feb 9, 2026

Reverts #142

We are reverting cause the CI is failing due to the GitHub actions bot not being able to push to protected branches. We can look into solutions for this but right now it seems quite complicated to have a bot push to protected branches. Perhaps someone can investigate?

@Jaden51 Jaden51 merged commit 1e5629d into main Feb 9, 2026
6 of 8 checks passed
@Jaden51 Jaden51 deleted the revert-142-Add-version-to-page branch February 9, 2026 00:44
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.

2 participants