Skip to content

Decaffeinate - #146

Merged
paul90 merged 9 commits into
mainfrom
decaffeinate
Jul 16, 2025
Merged

Decaffeinate#146
paul90 merged 9 commits into
mainfrom
decaffeinate

Conversation

@nrn

@nrn nrn commented Jun 2, 2025

Copy link
Copy Markdown
Member

Wiki module translated to javascript and lightly manually tested. We didn't get editor defaults added and weren't sure what github workflows should be implemented if you would be will to help please @paul90

@paul90

paul90 commented Jun 16, 2025

Copy link
Copy Markdown
Member

Think this is already for merging.

@paul90
paul90 merged commit e9bab42 into main Jul 16, 2025
1 check passed
@paul90
paul90 deleted the decaffeinate branch May 23, 2026 09:33
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