Skip to content

Fix broken link for Japanese book#3

Merged
gemmaro merged 2 commits into
purs-jp:jafrom
daaa1k:fix-broken-link-ja
Feb 18, 2026
Merged

Fix broken link for Japanese book#3
gemmaro merged 2 commits into
purs-jp:jafrom
daaa1k:fix-broken-link-ja

Conversation

@daaa1k

@daaa1k daaa1k commented Feb 16, 2026

Copy link
Copy Markdown

I've fixed a broken link for Japanese book.
It seems to have moved:
from: https://gemmaro.github.io/purescript-book/
to: https://purs-jp.github.io/purescript-book/

I've also submitted a PR to the original repository.
purescript-contrib#479

@daaa1k

daaa1k commented Feb 18, 2026

Copy link
Copy Markdown
Author

@gemmaro
I've fixed the broken CI too. Could you please check this?

@gemmaro

gemmaro commented Feb 18, 2026

Copy link
Copy Markdown
Member

Thank you for your contribution! Sounds good to me.

@gemmaro
gemmaro merged commit 86cc9c4 into purs-jp:ja Feb 18, 2026
2 checks passed
@daaa1k

daaa1k commented Feb 18, 2026

Copy link
Copy Markdown
Author

The workflow failed, likely due to a permission setting. I will create the PR again.
https://github.blog/changelog/2023-02-02-github-actions-updating-the-default-github_token-permissions-to-read-only/

@daaa1k

daaa1k commented Feb 18, 2026

Copy link
Copy Markdown
Author

Opened
#4

@daaa1k
daaa1k deleted the fix-broken-link-ja branch February 19, 2026 00:23
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